Articles
CUFP 2011 Workshop Report
- Part of:
-
- Published online by Cambridge University Press:
- 06 March 2012, pp. 1-8
-
- Article
-
- You have access
- Export citation
Editorial
Editorial
-
- Published online by Cambridge University Press:
- 28 June 2012, pp. 223-224
-
- Article
-
- You have access
- Export citation
Editorial: Special issue dedicated to ICFP 2010
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 379-381
-
- Article
-
- You have access
- Export citation
Articles
Proofs for free: Parametricity for dependent types
- Part of:
-
- Published online by Cambridge University Press:
- 30 March 2012, pp. 107-152
-
- Article
-
- You have access
- Export citation
Functional Pearl
When Maybe is not good enough
- Part of:
-
- Published online by Cambridge University Press:
- 10 September 2012, pp. 747-756
-
- Article
-
- You have access
- Export citation
Articles
A compiled implementation of normalisation by evaluation*
- Part of:
-
- Published online by Cambridge University Press:
- 29 February 2012, pp. 9-30
-
- Article
-
- You have access
- Export citation
Lazy tree splitting
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 382-438
-
- Article
-
- You have access
- Export citation
Finally tagless observable recursion for an abstract grammar model
- Part of:
-
- Published online by Cambridge University Press:
- 10 July 2012, pp. 757-796
-
- Article
-
- You have access
- Export citation
Pure Type System conversion is always typable
- Part of:
-
- Published online by Cambridge University Press:
- 16 March 2012, pp. 153-180
-
- Article
-
- You have access
- Export citation
Contracts made manifest*
- Part of:
-
- Published online by Cambridge University Press:
- 29 May 2012, pp. 225-274
-
- Article
-
- You have access
- Export citation
Manipulating accumulative functions by swapping call-time and return-time computations*
- Part of:
-
- Published online by Cambridge University Press:
- 08 May 2012, pp. 275-299
-
- Article
-
- You have access
- Export citation
Fortifying macros
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 439-476
-
- Article
-
- You have access
- Export citation
Semantic subtyping with an SMT solver
- Part of:
-
- Published online by Cambridge University Press:
- 06 March 2012, pp. 31-105
-
- Article
-
- You have access
- Export citation
Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts
- Part of:
-
- Published online by Cambridge University Press:
- 09 May 2012, pp. 181-216
-
- Article
-
- You have access
- Export citation
MRI: Modular reasoning about interference in incremental programming
- Part of:
-
- Published online by Cambridge University Press:
- 11 October 2012, pp. 797-852
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
JFP volume 22 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 16 March 2012, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Book Review
Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561
-
- Published online by Cambridge University Press:
- 09 May 2012, pp. 217-219
-
- Article
-
- You have access
- Export citation
Functional Programming for Java Developers – Tools for Better Concurrency, Abstraction, and Agility, By Dean Wampler, O'Reilly Media, July 2011, ISBN-13: 978-1449311032, 90pp.
-
- Published online by Cambridge University Press:
- 03 August 2012, pp. 853-854
-
- Article
-
- You have access
- Export citation
Articles
Generic top-down discrimination for sorting and partitioning in linear time*
- Part of:
-
- Published online by Cambridge University Press:
- 28 June 2012, pp. 300-374
-
- Article
-
- You have access
- Export citation
The impact of higher-order state and control effects on local relational reasoning
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 477-528
-
- Article
-
- You have access
- Export citation