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 32
Intensional polymorphism in type-erasure semantics
-
- Published online by Cambridge University Press:
- 06 November 2002, pp. 567-600
-
- Article
-
- You have access
- Export citation
- Cited by 32
Closed types for a safe imperative MetaML
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 545-571
-
- Article
-
- You have access
- Export citation
- Cited by 31
First-class patterns
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 191-225
-
- Article
-
- You have access
- Export citation
- Cited by 31
The virtues of eta-expansion
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 135-154
-
- Article
-
- You have access
- Export citation
- Cited by 30
Combinators for program generation
-
- Published online by Cambridge University Press:
- 01 September 1999, pp. 483-525
-
- Article
-
- You have access
- Export citation
- Cited by 30
The semantics of future and an application
-
- Published online by Cambridge University Press:
- 01 January 1999, pp. 1-31
-
- Article
-
- You have access
- Export citation
- Cited by 29
Categorical semantics for arrows
- Part of:
-
- Published online by Cambridge University Press:
- 01 July 2009, pp. 403-438
-
- Article
-
- You have access
- Export citation
- Cited by 29
A predicative analysis of structural recursion
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 1-41
-
- Article
-
- You have access
- Export citation
- Cited by 29
Embedded interpreters
-
- Published online by Cambridge University Press:
- 05 January 2005, pp. 503-542
-
- Article
-
- You have access
- Export citation
- Cited by 29
Making a fast curry: push/enter vs. eval/apply for higher-order languages
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 415-449
-
- Article
-
- You have access
- Export citation
- Cited by 28
The structure and interpretation of the computer science curriculum
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 365-378
-
- Article
-
- You have access
- Export citation
- Cited by 28
Acute: High-level programming language design for distributed computation
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 547-612
-
- Article
-
- You have access
- Export citation
- Cited by 28
Typing first-class continuations in ML†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 465-484
-
- Article
-
- You have access
- Export citation
- Cited by 28
Generic functional programming with types and relations
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 1-28
-
- Article
-
- You have access
- Export citation
- Cited by 28
FUNCTIONAL PEARL Parallel Parsing Processes
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 741-757
-
- Article
-
- You have access
- Export citation
- Cited by 27
Proof-producing translation of higher-order logic into pure and stateful ML
- Part of:
-
- Published online by Cambridge University Press:
- 20 January 2014, pp. 284-315
-
- Article
-
- You have access
- Export citation
- Cited by 27
Type classes with existential types
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 485-518
-
- Article
-
- You have access
- Export citation
- Cited by 27
F-ing modules
- Part of:
-
- Published online by Cambridge University Press:
- 19 November 2014, pp. 529-607
-
- Article
-
- You have access
- Export citation
- Cited by 27
On the generation of specializers1
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 499-514
-
- Article
-
- You have access
- Export citation
- Cited by 27
Teaching functional programming to first-year students
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 49-65
-
- Article
-
- You have access
- Export citation