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
Programming language semantics: It’s easy as 1,2,3
- Part of:
-
- Published online by Cambridge University Press:
- 26 October 2023, e9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
ANF preserves dependent types up to extensional equality
-
- Published online by Cambridge University Press:
- 16 September 2022, e12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Teaching types with a cognitively effective worked example format
-
- Published online by Cambridge University Press:
- 17 December 2015, e23
-
- Article
-
- You have access
- Export citation
- Cited by 1
Segments: An alternative rainfall problem
- Part of:
-
- Published online by Cambridge University Press:
- 19 October 2021, e23
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
CUFP 2011 Workshop Report
- Part of:
-
- Published online by Cambridge University Press:
- 06 March 2012, pp. 1-8
-
- Article
-
- You have access
- Export citation
- Cited by 1
Editorial
-
- Published online by Cambridge University Press:
- 01 March 2009, p. 143
-
- Article
-
- You have access
- Export citation
- Cited by 1
Editorial
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 1-2
-
- Article
-
- You have access
- Export citation
- Cited by 1
A library for polymorphic dynamic typing
- Part of:
-
- Published online by Cambridge University Press:
- 22 October 2013, pp. 229-248
-
- Article
-
- You have access
- Export citation
- Cited by 1
Commercial users of functional programming workshop report
- Part of:
-
- Published online by Cambridge University Press:
- 08 January 2014, pp. 701-712
-
- Article
-
- You have access
- Export citation
- Cited by 1
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 421-422
-
- Article
-
- You have access
- Export citation
- Cited by 1
Special Issue on ML
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, p. 389
-
- Article
-
- You have access
- Export citation
- Cited by 1
Functional programming for business students
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 35-48
-
- Article
-
- You have access
- Export citation
- Cited by 1
2 Lexical Structure
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. 7-16
-
- Article
-
- You have access
- Export citation
- Cited by 1
Calculating correct compilers II: Return of the register machines
-
- Published online by Cambridge University Press:
- 20 August 2020, e25
-
- Article
-
- You have access
- Export citation
- Cited by 1
Folding left and right matters: Direct style, accumulators, and continuations
- Part of:
-
- Published online by Cambridge University Press:
- 14 February 2023, e2
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Batcher's odd-even merging network revealed
- Part of:
-
- Published online by Cambridge University Press:
- 04 June 2018, e14
-
- Article
-
- You have access
- Export citation
- Cited by 1
Elaborating dependent (co)pattern matching: No pattern left behind
- Part of:
-
- Published online by Cambridge University Press:
- 21 January 2020, e2
-
- Article
-
- You have access
- Open access
- 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
11 Compiler Pragmas
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. 145-146
-
- Article
-
- You have access
- Export citation