Research Articles
Articles
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
New dimensions in heap profiling
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 4 / July 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 587-620
-
- Article
-
- You have access
- Export citation
A unifying type-theoretic framework for objects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / October 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 593-635
-
- Article
-
- You have access
- Export citation
Counting and generating lambda terms
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / 2013
- Published online by Cambridge University Press:
- 30 October 2013, pp. 594-628
-
- 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
MultiMLton: A multicore-aware runtime for standard ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 6 / 2014
- Published online by Cambridge University Press:
- 18 June 2014, pp. 613-674
-
- Article
-
- You have access
- Export citation
A unified treatment of syntax with binders
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / September 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 614-704
-
- 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
Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 4 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 621-655
-
- Article
-
- You have access
- Export citation
Refining reduction in the lambda calculus†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / October 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 637-651
-
- 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
Functional Pearls: The Third Homomorphism Theorem
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 4 / July 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 657-665
-
- Article
-
- You have access
- Export citation
Contextual equivalence for inductive definitions with binders in higher order typed functional programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / 2013
- Published online by Cambridge University Press:
- 13 December 2013, pp. 658-700
-
- Article
-
- You have access
- Export citation
Monadic constraint programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / 2009
- Published online by Cambridge University Press:
- 14 August 2009, pp. 663-697
-
- Article
-
- You have access
- Export citation
A syntactic theory of type generativity and sharing
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 5 / September 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 667-698
-
- Article
-
- You have access
- Export citation
A run-time representation of scheme record types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 6 / November 2014
- Published online by Cambridge University Press:
- 01 September 2014, pp. 675-716
-
- Article
-
- You have access
- Export citation
λν, a calculus of explicit substitutions which preserves strong normalisation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 5 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 699-722
-
- Article
-
- You have access
- Export citation
Small-step and big-step semantics for call-by-need
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / 2009
- Published online by Cambridge University Press:
- 07 September 2009, pp. 699-722
-
- Article
-
- You have access
- Export citation
Commercial users of functional programming workshop report
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / 2013
- Published online by Cambridge University Press:
- 08 January 2014, pp. 701-712
-
- Article
-
- You have access
- Export citation
Systematic abstraction of abstract machines
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / September 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 705-746
-
- Article
-
- You have access
- Export citation