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 15
Implementing a functional spreadsheet in clean
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 383-414
-
- Article
-
- You have access
- Export citation
- Cited by 15
A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis
-
- Published online by Cambridge University Press:
- 20 March 2003, pp. 415-451
-
- Article
-
- You have access
- Export citation
- Cited by 15
Automatic verification of functions with accumulating parameters
-
- Published online by Cambridge University Press:
- 01 March 1999, pp. 225-245
-
- Article
-
- You have access
- Export citation
- Cited by 15
The lambda calculus is algebraic
-
- Published online by Cambridge University Press:
- 06 November 2002, pp. 549-566
-
- Article
-
- You have access
- Export citation
- Cited by 15
Profiling large-scale lazy functional programs
-
- Published online by Cambridge University Press:
- 01 May 1998, pp. 201-237
-
- Article
-
- You have access
- Export citation
- Cited by 15
A new method for functional arrays
-
- Published online by Cambridge University Press:
- 01 September 1997, pp. 487-513
-
- Article
-
- You have access
- Export citation
- Cited by 15
A confluent λ-calculus with a catch/throw mechanism
-
- Published online by Cambridge University Press:
- 01 November 1999, pp. 625-647
-
- Article
-
- You have access
- Export citation
- Cited by 15
Cogent: uniqueness types and certifying compilation
- Part of:
-
- Published online by Cambridge University Press:
- 27 October 2021, e25
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 14
Models for machine learning and data mining in functional programming
-
- Published online by Cambridge University Press:
- 08 December 2004, pp. 15-32
-
- Article
-
- You have access
- Export citation
- Cited by 14
The recursive record semantics of objects revisited
-
- Published online by Cambridge University Press:
- 14 April 2004, pp. 263-315
-
- Article
-
- You have access
- Export citation
- Cited by 14
Flexible dynamic information flow control in the presence of exceptions*
- Part of:
-
- Published online by Cambridge University Press:
- 12 January 2017, e5
-
- Article
-
- You have access
- Export citation
- Cited by 14
Foundations of dependent interoperability
- Part of:
-
- Published online by Cambridge University Press:
- 13 March 2018, e9
-
- Article
-
- You have access
- Export citation
- Cited by 14
Functional Pearl: On generating unique names
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 117-123
-
- Article
-
- You have access
- Export citation
- Cited by 14
The complexity of type inference for higher-order typed lambda calculi†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 435-477
-
- Article
-
- You have access
- Export citation
- Cited by 14
Structural recursion with locally scoped names
- Part of:
-
- Published online by Cambridge University Press:
- 27 May 2011, pp. 235-286
-
- Article
-
- You have access
- Export citation
- Cited by 14
Automated complexity analysis of Nuprl extracted programs
-
- Published online by Cambridge University Press:
- 26 March 2001, pp. 3-31
-
- Article
-
- You have access
- Export citation
- Cited by 13
Building language towers with Ziggurat
- Part of:
-
- Published online by Cambridge University Press:
- 15 October 2008, pp. 707-780
-
- Article
-
- You have access
- Export citation
- Cited by 13
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
-
- Published online by Cambridge University Press:
- 01 June 2005, pp. 403-430
-
- Article
-
- You have access
- Export citation
- Cited by 13
Recursive type generativity
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 433-471
-
- Article
-
- You have access
- Export citation
- Cited by 13
EDUCATIONAL PEARL: A Nanopass framework for compiler education
-
- Published online by Cambridge University Press:
- 08 June 2005, pp. 653-667
-
- Article
-
- You have access
- Export citation