Research Articles
Articles
Combinators for parsing expressions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 445-464
-
- Article
-
- You have access
- Export citation
Modular verification of preemptive OS kernels
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 452-514
-
- Article
-
- You have access
- Export citation
Using transformations in the implementation of higher-order functions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / October 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 459-494
-
- Article
-
- You have access
- Export citation
On-line and off-line partial evaluation: semantic specifications and correctness proofs†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / October 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 461-500
-
- Article
-
- You have access
- Export citation
Concrete stream calculus: An extended study
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 18 January 2011, pp. 463-535
-
- Article
-
- You have access
- Export citation
Haskore music notation – An algebra of music –
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 465-484
-
- Article
-
- You have access
- Export citation
Typing first-class continuations in ML†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 465-484
-
- Article
-
- You have access
- Export citation
Causal commutative arrows
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / September 2011
- Published online by Cambridge University Press:
- 29 June 2011, pp. 467-496
-
- Article
-
- You have access
- Export citation
Algebras for combinatorial search
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 469-487
-
- Article
-
- You have access
- Export citation
Computing with lattices: An application of type classes
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 475-503
-
- Article
-
- You have access
- Export citation
The impact of higher-order state and control effects on local relational reasoning
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 477-528
-
- Article
-
- You have access
- Export citation
Total unfolding: theory and applications
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 479-498
-
- Article
-
- You have access
- Export citation
Type classes with existential types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 485-518
-
- Article
-
- You have access
- Export citation
Deciding type isomorphisms in a type-assignment framework†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 485-525
-
- Article
-
- You have access
- Export citation
Non-parametric parametricity
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / 2011
- Published online by Cambridge University Press:
- 07 September 2011, pp. 497-562
-
- Article
-
- You have access
- Export citation
On the generation of specializers1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 499-514
-
- Article
-
- You have access
- Export citation
Semantics directed program execution monitoring†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 501-547
-
- Article
-
- You have access
- Export citation
Safety of Nöcker's strictness analysis
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 08 November 2007, pp. 503-551
-
- Article
-
- You have access
- Export citation
Functional Pearls A symmetric set of efficient list operations
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / October 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 505-513
-
- Article
-
- You have access
- Export citation
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 15 April 2009, pp. 509-543
-
- Article
-
- You have access
- Export citation