1050 results in Journal of Functional Programming
JFP volume 22 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 09 May 2012, pp. b1-b7
-
- Article
-
- You have access
- Export citation
Drawing Programs: The Theory and Practice of Schematic Functional Programming, by Tom Addis and Jan Addis Springer, 2010, ISBN 978-1-84882-617-5, 379pp
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 09 May 2012, pp. 219-221
-
- Article
-
- You have access
- Export citation
JFP volume 22 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 09 May 2012, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 09 May 2012, pp. 181-216
-
- Article
-
- You have access
- Export citation
Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 09 May 2012, pp. 217-219
-
- Article
-
- You have access
- Export citation
Manipulating accumulative functions by swapping call-time and return-time computations*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 08 May 2012, pp. 275-299
-
- Article
-
- You have access
- Export citation
Proofs for free: Parametricity for dependent types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 30 March 2012, pp. 107-152
-
- Article
-
- You have access
- Export citation
JFP volume 22 issue 1 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 16 March 2012, pp. b1-b9
-
- Article
-
- You have access
- Export citation
JFP volume 22 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 16 March 2012, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Pure Type System conversion is always typable
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 16 March 2012, pp. 153-180
-
- Article
-
- You have access
- Export citation
CUFP 2011 Workshop Report
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 06 March 2012, pp. 1-8
-
- Article
-
- You have access
- Export citation
Semantic subtyping with an SMT solver
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 06 March 2012, pp. 31-105
-
- Article
-
- You have access
- Export citation
A compiled implementation of normalisation by evaluation*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 29 February 2012, pp. 9-30
-
- Article
-
- You have access
- Export citation
Shifting the stage: Staging with delimited control
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 23 November 2011, pp. 617-662
-
- Article
-
- You have access
- Export citation
JFP volume 21 issue 6 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 23 November 2011, pp. b1-b2
-
- Article
-
- You have access
- Export citation
JFP volume 21 issue 6 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 23 November 2011, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Sorted: Verifying the Problem of the Dutch National Flag in Agda
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 12 October 2011, pp. 573-583
-
- Article
-
- You have access
- Export citation
Embedding an interpreted language using higher-order functions and types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 29 September 2011, pp. 585-615
-
- Article
-
- You have access
- Export citation
Non-parametric parametricity
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / September 2011
- Published online by Cambridge University Press:
- 07 September 2011, pp. 497-562
-
- Article
-
- You have access
- Export citation
JFP volume 21 issue 4-5 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / September 2011
- Published online by Cambridge University Press:
- 07 September 2011, pp. b1-b2
-
- Article
-
- You have access
- Export citation