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 6
Comparing Id and Haskell in a Monte Carlo photon transport code
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 283-316
-
- Article
-
- You have access
- Export citation
- Cited by 6
Constructed product result analysis for Haskell
-
- Published online by Cambridge University Press:
- 22 January 2004, pp. 211-245
-
- Article
-
- You have access
- Export citation
- Cited by 6
Eliminating dependent pattern matching without K
-
- Published online by Cambridge University Press:
- 30 August 2016, e16
-
- Article
-
- You have access
- Export citation
- Cited by 6
FUNCTIONAL PEARL Calculating the Sieve of Eratosthenes
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 759-763
-
- Article
-
- You have access
- Export citation
- Cited by 5
Generic programming with C++ concepts and Haskell type classes—a comparison
- Part of:
-
- Published online by Cambridge University Press:
- 29 September 2010, pp. 271-302
-
- Article
-
- You have access
- Export citation
- Cited by 5
THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
-
- Published online by Cambridge University Press:
- 17 June 2005, pp. 669-677
-
- Article
-
- You have access
- Export citation
- Cited by 5
Regular expression filters for XML
-
- Published online by Cambridge University Press:
- 09 June 2006, pp. 711-750
-
- Article
-
- You have access
- Export citation
- Cited by 5
Uniform confluence in concurrent computation
-
- Published online by Cambridge University Press:
- 03 November 2000, pp. 453-499
-
- Article
-
- You have access
- Export citation
- Cited by 5
Work it, wrap it, fix it, fold it
- Part of:
-
- Published online by Cambridge University Press:
- 16 April 2014, pp. 113-127
-
- Article
-
- You have access
- Export citation
- Cited by 5
Embedding an interpreted language using higher-order functions and types
- Part of:
-
- Published online by Cambridge University Press:
- 29 September 2011, pp. 585-615
-
- Article
-
- You have access
- Export citation
- Cited by 5
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*
- Part of:
-
- Published online by Cambridge University Press:
- 07 February 2017, e10
-
- Article
-
- You have access
- Export citation
- Cited by 5
CPS transformation of flow information
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 905-923
-
- Article
-
- You have access
- Export citation
- Cited by 5
How to prove decidability of equational theories with second-order computation analyser SOL
- Part of:
-
- Published online by Cambridge University Press:
- 24 December 2019, e20
-
- Article
-
- You have access
- Export citation
- Cited by 5
Lambda and pi calculi, CAM and SECD machines
-
- Published online by Cambridge University Press:
- 08 December 2004, pp. 101-127
-
- Article
-
- You have access
- Export citation
- Cited by 5
Fractal image compression
-
- Published online by Cambridge University Press:
- 13 December 2013, pp. 629-657
-
- Article
-
- You have access
- Export citation
- Cited by 5
Operational interpretations of an extension of Fω with control operators
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 393-418
-
- Article
-
- You have access
- Export citation
- Cited by 5
Backtracking with cut via a distributive law and left-zero monoids*
-
- Published online by Cambridge University Press:
- 13 July 2017, e17
-
- Article
-
- You have access
- Export citation
- Cited by 5
Local algebraic effect theories
- Part of:
-
- Published online by Cambridge University Press:
- 11 May 2020, e13
-
- Article
-
- You have access
- Export citation
- Cited by 5
Roles, stacks, histories: A triple for Hoare
- Part of:
-
- Published online by Cambridge University Press:
- 22 September 2010, pp. 159-207
-
- Article
-
- You have access
- Export citation
- Cited by 5
A module calculus for Pure Type Systems
-
- Published online by Cambridge University Press:
- 04 May 2006, pp. 287-352
-
- Article
-
- You have access
- Export citation