Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 8
Lightweight checkpointing for concurrent ML
- Part of:
-
- Published online by Cambridge University Press:
- 19 March 2010, pp. 137-173
-
- Article
-
- You have access
- Export citation
- Cited by 8
On one-pass CPS transformations
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 793-812
-
- Article
-
- You have access
- Export citation
- Cited by 8
Caml trading – experiences with functional programming on Wall Street
- Part of:
-
- Published online by Cambridge University Press:
- 24 April 2008, pp. 553-564
-
- Article
-
- You have access
- Export citation
- Cited by 8
A visualisation of polymorphic type checking
-
- Published online by Cambridge University Press:
- 01 January 2000, pp. 57-75
-
- Article
-
- You have access
- Export citation
- Cited by 8
Functional Pearl: Back to basics: Deriving representation changers functionally
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 181-188
-
- Article
-
- You have access
- Export citation
- Cited by 8
FUNCTIONAL PEARL: A program to solve Sudoku
-
- Published online by Cambridge University Press:
- 07 July 2006, pp. 671-679
-
- Article
-
- You have access
- Export citation
- Cited by 8
Efficient manipulation of binary data using pattern matching
-
- Published online by Cambridge University Press:
- 12 September 2005, pp. 35-74
-
- Article
-
- You have access
- Export citation
- Cited by 8
Leftmost outside-in narrowing calculi
-
- Published online by Cambridge University Press:
- 01 March 1997, pp. 129-161
-
- Article
-
- You have access
- Export citation
- Cited by 8
Refining reduction in the lambda calculus†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 637-651
-
- Article
-
- You have access
- Export citation
- Cited by 7
Multi-return function call
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 547-582
-
- Article
-
- You have access
- Export citation
- Cited by 7
Developing a high-performance web server in Concurrent Haskell
-
- Published online by Cambridge University Press:
- 08 July 2003, pp. 359-374
-
- Article
-
- You have access
- Export citation
- Cited by 7
Interleaving data and effects
- Part of:
-
- Published online by Cambridge University Press:
- 20 November 2015, e20
-
- Article
-
- You have access
- Export citation
- Cited by 7
A tutorial on computational classical logic and the sequent calculus
- Part of:
-
- Published online by Cambridge University Press:
- 01 February 2018, e3
-
- Article
-
- You have access
- Export citation
- Cited by 7
A practical functional program for the CRAY X-MP*
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 81-126
-
- Article
-
- You have access
- Export citation
- Cited by 7
The λ-calculus with constructors: Syntax, confluence and separation
- Part of:
-
- Published online by Cambridge University Press:
- 14 September 2009, pp. 581-631
-
- Article
-
- You have access
- Export citation
- Cited by 7
Programming with ornaments
- Part of:
-
- Published online by Cambridge University Press:
- 12 December 2016, e2
-
- Article
-
- You have access
- Export citation
- Cited by 7
Pure Type System conversion is always typable
- Part of:
-
- Published online by Cambridge University Press:
- 16 March 2012, pp. 153-180
-
- Article
-
- You have access
- Export citation
- Cited by 7
New dimensions in heap profiling
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 587-620
-
- Article
-
- You have access
- Export citation
- Cited by 7
Efficient graph algorithms using lazy monolithic arrays
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 323-333
-
- Article
-
- You have access
- Export citation
- Cited by 7
Combinators for parsing expressions
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 445-464
-
- Article
-
- You have access
- Export citation