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 20
Parametricity, type equality, and higher-order polymorphism
- Part of:
-
- Published online by Cambridge University Press:
- 15 April 2010, pp. 175-210
-
- Article
-
- You have access
- Export citation
- Cited by 19
FUNCTIONAL PEARL Parsing permutation phrases
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 635-646
-
- Article
-
- You have access
- Export citation
- Cited by 19
Reference counting as a computational interpretation of linear logic
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 195-244
-
- Article
-
- You have access
- Export citation
- Cited by 19
Do we need dependent types?
-
- Published online by Cambridge University Press:
- 03 November 2000, pp. 409-415
-
- Article
-
- You have access
- Export citation
- Cited by 19
Parallelizing functional programs by generalization
-
- Published online by Cambridge University Press:
- 01 November 1999, pp. 649-673
-
- Article
-
- You have access
- Export citation
- Cited by 18
The calculus of dependent lambda eliminations*
- Part of:
-
- Published online by Cambridge University Press:
- 09 May 2017, e14
-
- Article
-
- You have access
- Export citation
- Cited by 18
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 623-633
-
- Article
-
- You have access
- Export citation
- Cited by 18
Compiling for template-based run-time code generation
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 677-708
-
- Article
-
- You have access
- Export citation
- Cited by 18
Lambda terms for natural deduction, sequent calculus and cut elimination
-
- Published online by Cambridge University Press:
- 01 January 2000, pp. 121-134
-
- Article
-
- You have access
- Export citation
- Cited by 18
Effect handlers via generalised continuations
- Part of:
-
- Published online by Cambridge University Press:
- 16 March 2020, e5
-
- Article
-
- You have access
- Export citation
- Cited by 18
A theory of weak bisimulation for Core CML
-
- Published online by Cambridge University Press:
- 01 September 1998, pp. 447-491
-
- Article
-
- You have access
- Export citation
- Cited by 18
Factorising folds for faster functions
- Part of:
-
- Published online by Cambridge University Press:
- 30 June 2010, pp. 353-373
-
- Article
-
- You have access
- Export citation
- Cited by 18
FUNCTIONAL PEARL: Enumerating the rationals
-
- Published online by Cambridge University Press:
- 25 October 2016, pp. 281-291
-
- Article
-
- You have access
- Export citation
- Cited by 18
Type-based confinement
-
- Published online by Cambridge University Press:
- 13 September 2005, pp. 83-128
-
- Article
-
- You have access
- Export citation
- Cited by 17
Meta-programming through typeful code representation
-
- Published online by Cambridge University Press:
- 06 October 2005, pp. 797-835
-
- Article
-
- You have access
- Export citation
- Cited by 17
Theoretical Pearls: Representing ‘undefined’ in lambda calculus
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 367-374
-
- Article
-
- You have access
- Export citation
- Cited by 17
Manufacturing datatypes
-
- Published online by Cambridge University Press:
- 29 August 2001, pp. 493-524
-
- Article
-
- You have access
- Export citation
- Cited by 17
Spreadsheet functional programming
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 131-143
-
- Article
-
- You have access
- Export citation
- Cited by 17
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
- Part of:
-
- Published online by Cambridge University Press:
- 08 October 2019, e15
-
- Article
-
- You have access
- Export citation
- Cited by 17
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
-
- Published online by Cambridge University Press:
- 07 January 2005, pp. 573-614
-
- Article
-
- You have access
- Export citation