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
Term Rewriting Systems by “Terese”, Cambridge University Press, 2003
-
- Published online by Cambridge University Press:
- 12 July 2005, p. 651
-
- Article
-
- You have access
- Export citation
- Cited by 4
Using transformations in the implementation of higher-order functions
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 459-494
-
- Article
-
- You have access
- Export citation
- Cited by 4
Modular, higher order cardinality analysis in theory and practice
- Part of:
-
- Published online by Cambridge University Press:
- 16 February 2017, e11
-
- Article
-
- You have access
- Export citation
- Cited by 4
Girard translation and logical predicates
-
- Published online by Cambridge University Press:
- 01 January 2000, pp. 77-89
-
- Article
-
- You have access
- Export citation
- Cited by 4
A consistent semantics of self-adjusting computation
- Part of:
-
- Published online by Cambridge University Press:
- 22 October 2013, pp. 249-292
-
- Article
-
- You have access
- Export citation
- Cited by 4
Global variables in Haskell
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 489-502
-
- Article
-
- You have access
- Export citation
- Cited by 4
How to design co-programs
- Part of:
-
- Published online by Cambridge University Press:
- 02 July 2021, e15
-
- Article
-
- You have access
- Export citation
- Cited by 3
Blame and coercion: Together again for the first time
- Part of:
-
- Published online by Cambridge University Press:
- 13 October 2021, e20
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 3
A functional description of TEX's formula layout
-
- Published online by Cambridge University Press:
- 01 September 1997, pp. 451-485
-
- Article
-
- You have access
- Export citation
- Cited by 3
The interactive Lazy ML system
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 77-92
-
- Article
-
- You have access
- Export citation
- Cited by 3
Funser: a functional server for textual information retrieval†
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 317-343
-
- Article
-
- You have access
- Export citation
- Cited by 3
Implementing a normalizer using sized heterogeneous types
- Part of:
-
- Published online by Cambridge University Press:
- 01 July 2009, pp. 287-310
-
- Article
-
- You have access
- Export citation
- Cited by 3
Using randomization to make recursive matrix algorithms practical
-
- Published online by Cambridge University Press:
- 01 November 1999, pp. 605-624
-
- Article
-
- You have access
- Export citation
- Cited by 3
Systematic identification and communication of type errors*
- Part of:
-
- Published online by Cambridge University Press:
- 25 January 2018, e2
-
- Article
-
- You have access
- Export citation
- Cited by 3
Partially strict non-recursive data types
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 191-215
-
- Article
-
- You have access
- Export citation
- Cited by 3
“Language-Based Security”
-
- Published online by Cambridge University Press:
- 03 March 2005, p. 129
-
- Article
-
- You have access
- Export citation
- Cited by 3
Pure iso-type systems
- Part of:
-
- Published online by Cambridge University Press:
- 17 September 2019, e14
-
- Article
-
- You have access
- Export citation
- Cited by 3
The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes
- Part of:
-
- Published online by Cambridge University Press:
- 03 July 2014, pp. 434-473
-
- Article
-
- You have access
- Export citation
- Cited by 3
Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561
-
- Published online by Cambridge University Press:
- 09 May 2012, pp. 217-219
-
- Article
-
- You have access
- Export citation
- Cited by 3
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 75-109
-
- Article
-
- You have access
- Export citation