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 1
A well-known representation of monoids and its application to the function ‘vector reverse’
- Part of:
-
- Published online by Cambridge University Press:
- 08 August 2022, e10
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Heterogeneous binary random-access lists
- Part of:
-
- Published online by Cambridge University Press:
- 07 April 2020, e10
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
A fresh look at binary search trees
-
- Published online by Cambridge University Press:
- 06 November 2002, pp. 601-607
-
- Article
-
- You have access
- Export citation
- Cited by 1
‘Semantics, Applications, and Implementation of Program Generation’
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 453-454
-
- Article
-
- You have access
- Export citation
- Cited by 1
Trace contracts
-
- Published online by Cambridge University Press:
- 13 December 2023, e14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
- Part of:
-
- Published online by Cambridge University Press:
- 05 April 2021, e7
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
Structured Operational Semantics of a fragment of the language Scheme
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 335-365
-
- Article
-
- You have access
- Export citation
- Cited by 1
Migrating gradual types
- Part of:
-
- Published online by Cambridge University Press:
- 06 October 2022, e14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Verified secure compilation for mixed-sensitivity concurrent programs
- Part of:
-
- Published online by Cambridge University Press:
- 28 July 2021, e18
-
- Article
-
- You have access
- Export citation
- Cited by 1
A greedy algorithm for dropping digits
- Part of:
-
- Published online by Cambridge University Press:
- 04 November 2021, e29
-
- Article
-
- You have access
- Export citation
- Cited by 1
Concepts in Programming Languages, by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5
-
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1087-1088
-
- Article
-
- You have access
- Export citation
- Cited by 1
The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 2000 1
-
- Published online by Cambridge University Press:
- 15 February 2007, pp. 426-428
-
- Article
-
- You have access
- Export citation
- Cited by 1
What is an education paper?
-
- Published online by Cambridge University Press:
- 12 July 2021, e16
-
- Article
-
- You have access
- HTML
- Export citation
- Cited by 1
Correctness of compiling polymorphism to dynamic typing*
-
- Published online by Cambridge University Press:
- 12 December 2016, e1
-
- Article
-
- You have access
- Export citation
- Cited by 1
Normalization by evaluation for modal dependent type theory
-
- Published online by Cambridge University Press:
- 02 October 2023, e7
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series
-
- Published online by Cambridge University Press:
- 18 May 2012, pp. 375-377
-
- Article
-
- You have access
- Export citation
- Cited by 1
Relational cost analysis in a functional-imperative setting
-
- Published online by Cambridge University Press:
- 02 November 2021, e27
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
Emerging languages: An alternative approach to teaching programming languages
- Part of:
-
- Published online by Cambridge University Press:
- 26 September 2019, e13
-
- Article
-
- You have access
- Export citation
- Cited by 1
On combinatory complete sets of proper combinators
-
- Published online by Cambridge University Press:
- 01 November 1997, pp. 593-612
-
- Article
-
- You have access
- Export citation
- Cited by 1
3 Expressions
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. 17-38
-
- Article
-
- You have access
- Export citation