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
Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages, by Terence Parr, Pragmatic Bookshelf, http://www.pragprog.com, ISBN 9781934356456
-
- Published online by Cambridge University Press:
- 05 April 2011, pp. 215-217
-
- 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
- Cited by 1
Extracting functional programs from Coq, in Coq
-
- Published online by Cambridge University Press:
- 22 August 2022, e11
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Special issue on Programming with Dependent Types Editorial
- Part of:
-
- Published online by Cambridge University Press:
- 08 June 2017, e15
-
- Article
-
- You have access
- Export citation
- Cited by 1
Implementing the evaluation transformer model of reduction on parallel machines
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 329-366
-
- Article
-
- You have access
- Export citation
- Cited by 1
FUNCTIONAL PEARL Lazy wheel sieves and spirals of primes
-
- Published online by Cambridge University Press:
- 01 March 1997, pp. 219-225
-
- Article
-
- You have access
- Export citation
- Cited by 1
EDITORIAL
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 319-321
-
- Article
-
- You have access
- Export citation
- Cited by 1
Exploring the conformations of nucleic acids
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 443-460
-
- Article
-
- You have access
- Export citation
- Cited by 1
Protocol combinators for modeling, testing, and execution of distributed systems
- Part of:
-
- Published online by Cambridge University Press:
- 15 February 2021, e3
-
- Article
-
- You have access
- Export citation
- Cited by 1
Program specialization for execution monitoring
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 573-600
-
- Article
-
- You have access
- Export citation
- Cited by 1
Real-time MLton: A Standard ML runtime for real-time functional programs
-
- Published online by Cambridge University Press:
- 31 August 2021, e19
-
- Article
-
- You have access
- Export citation
- Cited by 1
A logical analysis of aliasing in imperative higher-order functions
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 473-546
-
- Article
-
- You have access
- Export citation
- Cited by 1
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141.
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 253-254
-
- Article
-
- You have access
- Export citation
- Cited by 1
Transparent optimisation of rewriting combinators
-
- Published online by Cambridge University Press:
- 01 March 1999, pp. 113-146
-
- Article
-
- You have access
- Export citation
- Cited by 1
Haskell: The Craft of Functional Programming by Simon Thompson, Addison-Wesley, 1996. Miranda 81: The Craft of Functional Programming by Simon Thompson, Addison-Wesley, 1995.
-
- Published online by Cambridge University Press:
- 01 November 1998, pp. 633-637
-
- Article
-
- You have access
- Export citation
- Cited by 1
Programming graphical user interfaces with Scheme
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 839-866
-
- Article
-
- You have access
- Export citation
- Cited by 1
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
- Part of:
-
- Published online by Cambridge University Press:
- 17 June 2020, e17
-
- Article
-
- You have access
- Export citation
- Cited by 1
5 Modules
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. 67-80
-
- Article
-
- You have access
- Export citation
- Cited by 1
A note on the genuine Sieve of Eratosthenes
-
- Published online by Cambridge University Press:
- 16 May 2011, pp. 563-572
-
- Article
-
- You have access
- Export citation
- Cited by 1
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong)
-
- Published online by Cambridge University Press:
- 21 May 2018, e13
-
- Article
-
- You have access
- Export citation