1050 results in Journal of Functional Programming
Type Reconstruction for Type Classes1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 2 / April 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 201-224
-
- Article
-
- You have access
- Export citation
Note on Algol and conservatively extending functional programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 171-180
-
- Article
-
- You have access
- Export citation
Pattern matching with abstract data types1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 2 / April 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 171-190
-
- Article
-
- You have access
- Export citation
Higher-order functions for parsing*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / July 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 323-343
-
- Article
-
- You have access
- Export citation
JFP volume 2 issue 4 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / October 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Some lattice-based scientific problems, expressed in Haskell
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 419-444
-
- Article
-
- You have access
- Export citation
Teaching functional programming to first-year students
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 1 / January 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 49-65
-
- Article
-
- You have access
- Export citation
JFP volume 6 issue 5 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 5 / September 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
JFP volume 5 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 2 / April 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Theoretical Pearls: An unsolvable numeral system in lambda calculus
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / July 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 367-372
-
- Article
-
- You have access
- Export citation
Transactional events1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 30 October 2008, pp. 649-706
-
- Article
-
- You have access
- Export citation
Building language towers with Ziggurat
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 15 October 2008, pp. 707-780
-
- Article
-
- You have access
- Export citation
Algebraic fusion of functions with an accumulating parameter and its improvement
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 08 September 2008, pp. 781-819
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 08 September 2008, pp. 565-566
-
- Article
-
- You have access
- Export citation
Hoare type theory, polymorphism and separation1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 02 September 2008, pp. 865-911
-
- Article
-
- You have access
- Export citation
A pattern for almost compositional functions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 02 September 2008, pp. 567-598
-
- Article
-
- You have access
- Export citation
Modular development of certified program verifiers with a proof assistant1,2
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 15 August 2008, pp. 599-647
-
- Article
-
- You have access
- Export citation
Exploiting reachability and cardinality in higher-order flow analysis
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 12 August 2008, pp. 821-864
-
- Article
-
- You have access
- Export citation
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 3 / May 2008
- Published online by Cambridge University Press:
- 01 May 2008, pp. 421-422
-
- Article
-
- You have access
- Export citation
Control reduction theories: the benefit of structural substitution
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 3 / May 2008
- Published online by Cambridge University Press:
- 01 May 2008, pp. 373-419
-
- Article
-
- You have access
- Export citation