Research Articles
Articles
Propositions as sessions*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / 2014
- Published online by Cambridge University Press:
- 31 January 2014, pp. 384-418
-
- Article
-
- You have access
- Export citation
A run-time algorithm for managing the granularity of parallel functional programs1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / October 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 387-405
-
- Article
-
- You have access
- Export citation
Special Issue on ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, p. 389
-
- Article
-
- You have access
- Export citation
A critique of Standard ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 391-429
-
- Article
-
- You have access
- Export citation
Operational interpretations of an extension of Fω with control operators
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 393-418
-
- Article
-
- You have access
- Export citation
Lilac: a functional programming language based on linear logic
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 395-433
-
- Article
-
- You have access
- Export citation
Secure distributed programming with value-dependent types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 402-451
-
- Article
-
- You have access
- Export citation
Categorical semantics for arrows
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 403-438
-
- Article
-
- You have access
- Export citation
Abstract interpretation by dynamic partitioning
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 407-435
-
- Article
-
- You have access
- Export citation
Purely functional lazy nondeterministic programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / September 2011
- Published online by Cambridge University Press:
- 16 August 2011, pp. 413-465
-
- Article
-
- You have access
- Export citation
A semantic basis for Quest
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 417-458
-
- Article
-
- You have access
- Export citation
Space profiling for parallel functional programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / 2010
- Published online by Cambridge University Press:
- 03 September 2010, pp. 417-461
-
- 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 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 419-444
-
- Article
-
- You have access
- Export citation
Dynamics in ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / October 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 431-463
-
- Article
-
- You have access
- Export citation
The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 4 / 2014
- Published online by Cambridge University Press:
- 03 July 2014, pp. 434-473
-
- Article
-
- You have access
- Export citation
The complexity of type inference for higher-order typed lambda calculi†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 435-477
-
- Article
-
- You have access
- Export citation
Metamorph – a formal methods toolkit with application to the design of digital hardware
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / October 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 437-473
-
- Article
-
- You have access
- Export citation
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 17 October 2007, pp. 437-502
-
- Article
-
- You have access
- Export citation
An induction principle for nested datatypes in intensional type theory
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 439-468
-
- Article
-
- You have access
- Export citation
Fortifying macros
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / September 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 439-476
-
- Article
-
- You have access
- Export citation