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 3
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
- Part of:
-
- Published online by Cambridge University Press:
- 17 October 2007, pp. 437-502
-
- Article
-
- You have access
- Export citation
- Cited by 3
Generalized monoidal effects and handlers
- Part of:
-
- Published online by Cambridge University Press:
- 28 July 2020, e23
-
- Article
-
- You have access
- Export citation
- Cited by 3
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 75-109
-
- Article
-
- You have access
- Export citation
- Cited by 3
FUNCTIONAL PEARLS: Finding celebrities: A lesson in functional programming
-
- Published online by Cambridge University Press:
- 05 September 2005, pp. 13-20
-
- Article
-
- You have access
- Export citation
- Cited by 3
Unifying structured recursion schemes: An Extended Study
- Part of:
-
- Published online by Cambridge University Press:
- 03 February 2016, e1
-
- Article
-
- You have access
- Export citation
- Cited by 3
Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561
-
- Published online by Cambridge University Press:
- 09 May 2012, pp. 217-219
-
- Article
-
- You have access
- Export citation
- Cited by 3
A predicative approach to the classification problem
-
- Published online by Cambridge University Press:
- 26 March 2001, pp. 95-116
-
- Article
-
- You have access
- Export citation
- Cited by 3
FUNCTIONAL PEARL Concurrent distinct choices
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 657-668
-
- Article
-
- You have access
- Export citation
- Cited by 3
A programming model and foundation for lineage-based distributed computation
- Part of:
-
- Published online by Cambridge University Press:
- 12 March 2018, e7
-
- Article
-
- You have access
- Export citation
- Cited by 3
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
-
- Published online by Cambridge University Press:
- 20 January 2022, e4
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 3
A SQL to C compiler in 500 lines of code
- Part of:
-
- Published online by Cambridge University Press:
- 03 June 2019, e9
-
- Article
-
- You have access
- Export citation
- Cited by 3
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus
- Part of:
-
- Published online by Cambridge University Press:
- 29 April 2019, e7
-
- Article
-
- You have access
- Export citation
- Cited by 3
Sparse matrix representations in a functional language
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 143-170
-
- Article
-
- You have access
- Export citation
- Cited by 3
Type systems for object-oriented programming
-
- Published online by Cambridge University Press:
- 07 November 2008, p. 125
-
- Article
-
- You have access
- Export citation
- Cited by 3
EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
-
- Published online by Cambridge University Press:
- 14 September 2006, pp. 663-670
-
- Article
-
- You have access
- Export citation
- Cited by 3
Deletion: The curse of the red-black tree
- Part of:
-
- Published online by Cambridge University Press:
- 11 September 2014, pp. 423-433
-
- Article
-
- You have access
- Export citation
- Cited by 3
Strong normalisation for the linear term calculus
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 65-80
-
- Article
-
- You have access
- Export citation
- Cited by 3
Coherence of subsumption for monadic types
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 157-172
-
- Article
-
- You have access
- Export citation
- Cited by 3
Control effects as a modality
-
- Published online by Cambridge University Press:
- 01 January 2009, pp. 17-26
-
- Article
-
- You have access
- Export citation
- Cited by 3
Weak polymorphism can be sound
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 111-141
-
- Article
-
- You have access
- Export citation