Research Articles
Articles
Generating action compilers by partial evaluation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 269-298
-
- Article
-
- You have access
- Export citation
Generic programming with C++ concepts and Haskell type classes—a comparison
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 29 September 2010, pp. 271-302
-
- Article
-
- You have access
- Export citation
A domain-theoretic approach to functional and logic programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 273-321
-
- Article
-
- You have access
- Export citation
Manipulating accumulative functions by swapping call-time and return-time computations*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 3 / 2012
- Published online by Cambridge University Press:
- 08 May 2012, pp. 275-299
-
- Article
-
- You have access
- Export citation
Program transformation with metasystem transitions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 283-313
-
- Article
-
- You have access
- Export citation
Proof-producing translation of higher-order logic into pure and stateful ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / 2014
- Published online by Cambridge University Press:
- 20 January 2014, pp. 284-315
-
- Article
-
- You have access
- Export citation
Lightweight family polymorphism*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 3 / May 2008
- Published online by Cambridge University Press:
- 01 May 2008, pp. 285-331
-
- Article
-
- You have access
- Export citation
Balancing weight-balanced trees
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 3 / 2011
- Published online by Cambridge University Press:
- 27 May 2011, pp. 287-307
-
- Article
-
- You have access
- Export citation
Implementing a normalizer using sized heterogeneous types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 287-310
-
- Article
-
- You have access
- Export citation
Equivalence in functional languages with effects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 287-327
-
- Article
-
- You have access
- Export citation
Refactoring tools for functional languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. 293-350
-
- Article
-
- You have access
- Export citation
A confluent reduction for the λ-calculus with surjective pairing and terminal object
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 299-327
-
- Article
-
- You have access
- Export citation
Generic top-down discrimination for sorting and partitioning in linear time*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 3 / 2012
- Published online by Cambridge University Press:
- 28 June 2012, pp. 300-374
-
- Article
-
- You have access
- Export citation
Scala for generic programmers: Comparing Haskell and Scala support for generic programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 21 October 2010, pp. 303-352
-
- Article
-
- You have access
- Export citation
A combinator library for the design of railway track layouts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 3 / 2011
- Published online by Cambridge University Press:
- 27 May 2011, pp. 309-329
-
- Article
-
- You have access
- Export citation
Big-step normalisation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 311-333
-
- Article
-
- You have access
- Export citation
Efficient analyses for realistic off-line partial evaluation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / July 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 315-346
-
- Article
-
- You have access
- Export citation
Transporting functions across ornaments
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 23 April 2014, pp. 316-383
-
- 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
Formal basis for the refinement of rule based transition systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 329-354
-
- Article
-
- You have access
- Export citation