Research Articles
Articles
Short note: Strict unwraps make worker/wrapper fusion totally correct
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 08 April 2010, pp. 209-213
-
- Article
-
- You have access
- Export citation
Quantifier elimination and parametric polymorphism in programming languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 213-226
-
- Article
-
- You have access
- Export citation
Formal polytypic programs and proofs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / 2010
- Published online by Cambridge University Press:
- 23 September 2010, pp. 213-270
-
- Article
-
- You have access
- Export citation
Heap profiling of lazy functional programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 2 / April 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 217-245
-
- Article
-
- You have access
- Export citation
Pushdown flow analysis with abstract garbage collection
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / 2014
- Published online by Cambridge University Press:
- 21 May 2014, pp. 218-283
-
- Article
-
- You have access
- Export citation
Contracts made manifest*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 29 May 2012, pp. 225-274
-
- Article
-
- You have access
- Export citation
Lexical profiling: theory and practice
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 2 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 225-277
-
- Article
-
- You have access
- Export citation
The worker/wrapper transformation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 227-251
-
- Article
-
- You have access
- Export citation
A library for polymorphic dynamic typing
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. 229-248
-
- Article
-
- You have access
- Export citation
Theoretical Pearls Enumerators of lambda terms are reducing
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 233-236
-
- Article
-
- You have access
- Export citation
Structural recursion with locally scoped names
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 3 / May 2011
- Published online by Cambridge University Press:
- 27 May 2011, pp. 235-286
-
- Article
-
- You have access
- Export citation
Functional Pearls Two greedy algorithms
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / April 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 237-244
-
- Article
-
- You have access
- Export citation
Canonical typing and ∏-conversion in the Barendregt Cube
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 245-267
-
- Article
-
- You have access
- Export citation
Polymorphic type, region and effect inference
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 245-271
-
- Article
-
- You have access
- Export citation
Type inference with simple subtypes
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 245-285
-
- Article
-
- You have access
- Export citation
Terminating comprehensions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 2 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 247-250
-
- Article
-
- You have access
- Export citation
A consistent semantics of self-adjusting computation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. 249-292
-
- Article
-
- You have access
- Export citation
On the specialization of online program specializers1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / July 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 251-281
-
- Article
-
- You have access
- Export citation
HM(X) type inference is CLP(X) solving
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 2 / 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 251-283
-
- Article
-
- You have access
- Export citation
Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 265-286
-
- Article
-
- You have access
- Export citation