Articles
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- Part of:
-
- Published online by Cambridge University Press:
- 14 October 2013, pp. 515-551
-
- Article
-
- You have access
- Export citation
Educational Pearls
Fractal image compression
-
- Published online by Cambridge University Press:
- 13 December 2013, pp. 629-657
-
- Article
-
- You have access
- Export citation
Functional Pearls
Solving the snake cube puzzle in Haskell
-
- Published online by Cambridge University Press:
- 25 March 2013, pp. 145-160
-
- Article
-
- You have access
- Export citation
Articles
A library for polymorphic dynamic typing
- Part of:
-
- Published online by Cambridge University Press:
- 22 October 2013, pp. 229-248
-
- Article
-
- You have access
- Export citation
Editorial
Special Issue Dedicated to ICFP 2011 Editorial
-
- Published online by Cambridge University Press:
- 29 October 2013, pp. 355-356
-
- Article
-
- You have access
- Export citation
Articles
An insider's look at LF type reconstruction: everything you (n)ever wanted to know
- Part of:
-
- Published online by Cambridge University Press:
- 02 November 2012, pp. 1-37
-
- Article
-
- You have access
- Export citation
Idris, a general-purpose dependently typed programming language: Design and implementation
- Part of:
-
- Published online by Cambridge University Press:
- 18 October 2013, pp. 552-593
-
- Article
-
- You have access
- Export citation
How to make ad hoc proof automation less ad hoc
- Part of:
-
- Published online by Cambridge University Press:
- 29 October 2013, pp. 357-401
-
- Article
-
- You have access
- Export citation
Contextual equivalence for inductive definitions with binders in higher order typed functional programming
- Part of:
-
- Published online by Cambridge University Press:
- 13 December 2013, pp. 658-700
-
- Article
-
- You have access
- Export citation
Syntactic soundness proof of a type-and-capability system with hidden state
- Part of:
-
- Published online by Cambridge University Press:
- 10 October 2012, pp. 38-144
-
- Article
-
- You have access
- Export citation
Functional Pearls
Metamorphism in jigsaw
-
- Published online by Cambridge University Press:
- 19 October 2012, pp. 161-173
-
- Article
-
- You have access
- Export citation
Articles
A consistent semantics of self-adjusting computation
- Part of:
-
- Published online by Cambridge University Press:
- 22 October 2013, pp. 249-292
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
JFP volume 23 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 December 2012, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Articles
Refactoring tools for functional languages
- Part of:
-
- Published online by Cambridge University Press:
- 22 October 2013, pp. 293-350
-
- Article
-
- You have access
- Export citation
Functional Pearls
An in-situ algorithm for expanding a graph
-
- Published online by Cambridge University Press:
- 07 January 2013, pp. 174-184
-
- Article
-
- You have access
- Export citation
Articles
Commercial users of functional programming workshop report
- Part of:
-
- Published online by Cambridge University Press:
- 08 January 2014, pp. 701-712
-
- Article
-
- You have access
- Export citation
Counting and generating lambda terms
- Part of:
-
- Published online by Cambridge University Press:
- 30 October 2013, pp. 594-628
-
- Article
-
- You have access
- Export citation
Secure distributed programming with value-dependent types
- Part of:
-
- Published online by Cambridge University Press:
- 29 October 2013, pp. 402-451
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
JFP volume 23 issue 6 Cover and Front matter
-
- Published online by Cambridge University Press:
- 08 January 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Book Review
Learn You a Haskell for Great Good! A Beginner's Guide, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp.
-
- Published online by Cambridge University Press:
- 22 October 2013, pp. 351-352
-
- Article
-
- You have access
- Export citation