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 298
Explicit substitutions
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 375-416
-
- Article
-
- You have access
- Export citation
- Cited by 283
Applicative programming with effects
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 1-13
-
- Article
-
- You have access
- Export citation
- Cited by 250
A foundation for actor computation
-
- Published online by Cambridge University Press:
- 01 January 1997, pp. 1-72
-
- Article
-
- You have access
- Export citation
- Cited by 202
The Zipper
-
- Published online by Cambridge University Press:
- 01 September 1997, pp. 549-554
-
- Article
-
- You have access
- Export citation
- Cited by 200
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
- Part of:
-
- Published online by Cambridge University Press:
- 15 April 2009, pp. 509-543
-
- Article
-
- You have access
- Export citation
- Cited by 196
The view from the left
-
- Published online by Cambridge University Press:
- 14 January 2004, pp. 69-111
-
- Article
-
- You have access
- Export citation
- Cited by 196
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- Part of:
-
- Published online by Cambridge University Press:
- 22 November 2018, e20
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 196
Data types à la carte
-
- Published online by Cambridge University Press:
- 18 March 2008, pp. 423-436
-
- Article
-
- You have access
- Export citation
- Cited by 187
Idris, a general-purpose dependently typed programming language: Design and implementation
- Part of:
-
- Published online by Cambridge University Press:
- 18 October 2013, pp. 552-593
-
- Article
-
- You have access
- Export citation
- Cited by 181
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 127-202
-
- Article
-
- You have access
- Export citation
- Cited by 164
Algorithm + strategy = parallelism
-
- Published online by Cambridge University Press:
- 01 January 1998, pp. 23-60
-
- Article
-
- You have access
- Export citation
- Cited by 158
DrScheme: a programming environment for Scheme
-
- Published online by Cambridge University Press:
- 22 March 2002, pp. 159-182
-
- Article
-
- You have access
- Export citation
- Cited by 135
Deriving a lazy abstract machine
-
- Published online by Cambridge University Press:
- 01 May 1997, pp. 231-264
-
- Article
-
- You have access
- Export citation
- Cited by 123
Linear type theory for asynchronous session types
- Part of:
-
- Published online by Cambridge University Press:
- 08 December 2009, pp. 19-50
-
- Article
-
- You have access
- Export citation
- Cited by 121
Practical type inference for arbitrary-rank types
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 1-82
-
- Article
-
- You have access
- Export citation
- Cited by 120
Polymorphic type, region and effect inference
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 245-271
-
- Article
-
- You have access
- Export citation
- Cited by 119
Monadic parsing in Haskell
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 437-444
-
- Article
-
- You have access
- Export citation
- Cited by 115
Introduction to generalized type systems
-
- Published online by Cambridge University Press:
- 10 August 2016, pp. 125-154
-
- Article
-
- You have access
- Export citation
- Cited by 114
Parallel functional programming in Eden
-
- Published online by Cambridge University Press:
- 01 June 2005, pp. 431-475
-
- Article
-
- You have access
- Export citation
- Cited by 109
Single Assignment C: efficient support for high-level array operations in a functional setting
-
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1005-1059
-
- Article
-
- You have access
- Export citation