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 4
The use of functional languages in teaching computer science
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 67-75
-
- Article
-
- You have access
- Export citation
- Cited by 4
The Reduceron reconfigured and re-evaluated
- Part of:
-
- Published online by Cambridge University Press:
- 10 July 2012, pp. 574-613
-
- Article
-
- You have access
- Export citation
- Cited by 4
The adequacy of Launchbury's natural semantics for lazy evaluation*
- Part of:
-
- Published online by Cambridge University Press:
- 03 January 2018, e1
-
- Article
-
- You have access
- Export citation
- Cited by 4
Linear capabilities for fully abstract compilation of separation-logic-verified code
- Part of:
-
- Published online by Cambridge University Press:
- 30 March 2021, e6
-
- Article
-
- You have access
- Export citation
- Cited by 4
Delimited control and computational effects
- Part of:
-
- Published online by Cambridge University Press:
- 22 January 2014, pp. 1-55
-
- Article
-
- You have access
- Export citation
- Cited by 4
A functional reactive animation of a lift using Fran
-
- Published online by Cambridge University Press:
- 01 May 2000, pp. 245-268
-
- Article
-
- You have access
- Export citation
- Cited by 4
Predictive parser combinators need four values to report errors
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 355-364
-
- Article
-
- You have access
- Export citation
- Cited by 4
Modal FRP for all: Functional reactive programming without space leaks in Haskell
-
- Published online by Cambridge University Press:
- 26 December 2022, e15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 4
Modular development of certified program verifiers with a proof assistant1,2
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2008, pp. 599-647
-
- Article
-
- You have access
- Export citation
- Cited by 4
Applications of Plotkin-terms: partitions and morphisms for closed terms
-
- Published online by Cambridge University Press:
- 01 September 1999, pp. 565-575
-
- Article
-
- You have access
- Export citation
- Cited by 4
FUNCTIONAL PEARL On building trees with minimum height
-
- Published online by Cambridge University Press:
- 01 July 1997, pp. 441-445
-
- Article
-
- You have access
- Export citation
- Cited by 4
On the correctness of monadic backward induction
-
- Published online by Cambridge University Press:
- 29 October 2021, e26
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 4
Remarks on the equational theory of non-normalizing pure type systems
-
- Published online by Cambridge University Press:
- 16 September 2003, pp. 137-155
-
- Article
-
- You have access
- Export citation
- Cited by 4
Generic top-down discrimination for sorting and partitioning in linear time*
- Part of:
-
- Published online by Cambridge University Press:
- 28 June 2012, pp. 300-374
-
- Article
-
- You have access
- Export citation
- Cited by 4
The Educational Pearls column
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 833-834
-
- Article
-
- You have access
- Export citation
- Cited by 4
Explicit effect subtyping
- Part of:
-
- Published online by Cambridge University Press:
- 08 June 2020, e15
-
- Article
-
- You have access
- Export citation
- Cited by 4
Diets for fat sets
-
- Published online by Cambridge University Press:
- 01 November 1998, pp. 627-632
-
- Article
-
- You have access
- Export citation
- Cited by 4
Semantics of linear/modal lambda calculus
-
- Published online by Cambridge University Press:
- 01 May 1999, pp. 247-277
-
- Article
-
- You have access
- Export citation
- Cited by 4
Not by equations alone: Reasoning with extensible effects
- Part of:
-
- Published online by Cambridge University Press:
- 27 January 2021, e2
-
- Article
-
- You have access
- Export citation
- Cited by 4
When Maybe is not good enough
- Part of:
-
- Published online by Cambridge University Press:
- 10 September 2012, pp. 747-756
-
- Article
-
- You have access
- Export citation