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 37
Shared memory multiprocessor support for functional array processing in SAC
-
- Published online by Cambridge University Press:
- 01 June 2005, pp. 353-401
-
- Article
-
- You have access
- Export citation
- Cited by 37
Stack-based typed assembly language
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 43-88
-
- Article
-
- You have access
- Export citation
- Cited by 37
Residual theory in λ-calculus: a formal development*
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 371-394
-
- Article
-
- You have access
- Export citation
- Cited by 37
Exceptional syntax
-
- Published online by Cambridge University Press:
- 04 September 2001, pp. 395-410
-
- Article
-
- You have access
- Export citation
- Cited by 37
A calculus with polymorphic and polyvariant flow types
-
- Published online by Cambridge University Press:
- 08 May 2002, pp. 183-227
-
- Article
-
- You have access
- Export citation
- Cited by 37
Heap profiling of lazy functional programs
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 217-245
-
- Article
-
- You have access
- Export citation
- Cited by 36
HOLCF = HOL + LCF
-
- Published online by Cambridge University Press:
- 01 March 1999, pp. 191-223
-
- Article
-
- You have access
- Export citation
- Cited by 36
Generics for the masses
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 451-483
-
- Article
-
- You have access
- Export citation
- Cited by 36
Shrinking lambda expressions in linear time
-
- Published online by Cambridge University Press:
- 01 September 1997, pp. 515-540
-
- Article
-
- You have access
- Export citation
- Cited by 36
Algorithms with polynomial interpretation termination proof
-
- Published online by Cambridge University Press:
- 26 March 2001, pp. 33-53
-
- Article
-
- You have access
- Export citation
- Cited by 35
Gencel: a program generator for correct spreadsheets
-
- Published online by Cambridge University Press:
- 25 October 2016, pp. 293-325
-
- Article
-
- You have access
- Export citation
- Cited by 35
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
-
- Published online by Cambridge University Press:
- 28 November 2001, pp. 629-671
-
- Article
-
- You have access
- Export citation
- Cited by 34
FUNCTIONAL PEARL Pickler combinators
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 727-739
-
- Article
-
- You have access
- Export citation
- Cited by 33
Server side web scripting in Haskell
-
- Published online by Cambridge University Press:
- 01 January 2000, pp. 1-18
-
- Article
-
- You have access
- Export citation
- Cited by 33
Functional runtime systems within the lambda-sigma calculus
-
- Published online by Cambridge University Press:
- 01 March 1998, pp. 131-176
-
- Article
-
- You have access
- Export citation
- Cited by 33
Functional Pearls Efficient sets—a balancing act
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 553-561
-
- Article
-
- You have access
- Export citation
- Cited by 33
Safe fusion of functional expressions II: Further improvements†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 515-555
-
- Article
-
- You have access
- Export citation
- Cited by 33
Transformation techniques for context-sensitive rewrite systems
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 379-427
-
- Article
-
- You have access
- Export citation
- Cited by 32
A reflective functional language for hardware design and theorem proving
-
- Published online by Cambridge University Press:
- 28 October 2005, pp. 157-196
-
- Article
-
- You have access
- Export citation
- Cited by 32
Monadic encapsulation of effects: a revised approach (extended version)
-
- Published online by Cambridge University Press:
- 28 November 2001, pp. 591-627
-
- Article
-
- You have access
- Export citation