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 13
Type and behaviour reconstruction for higher-order concurrent programs
-
- Published online by Cambridge University Press:
- 01 May 1997, pp. 321-347
-
- Article
-
- You have access
- Export citation
- Cited by 13
Causal commutative arrows
- Part of:
-
- Published online by Cambridge University Press:
- 29 June 2011, pp. 467-496
-
- Article
-
- You have access
- Export citation
- Cited by 13
Dependent types ensure partial correctness of theorem provers
-
- Published online by Cambridge University Press:
- 14 January 2004, pp. 3-19
-
- Article
-
- You have access
- Export citation
- Cited by 13
What is the meaning of these constant interruptions?
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 777-792
-
- Article
-
- You have access
- Export citation
- Cited by 13
Understanding beginners' mistakes with Haskell
- Part of:
-
- Published online by Cambridge University Press:
- 06 August 2015, e11
-
- Article
-
- You have access
- Export citation
- Cited by 13
How to make ad hoc proof automation less ad hoc
- Part of:
-
- Published online by Cambridge University Press:
- 29 October 2013, pp. 357-401
-
- Article
-
- You have access
- Export citation
- Cited by 13
Deciding type isomorphisms in a type-assignment framework†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 485-525
-
- Article
-
- You have access
- Export citation
- Cited by 13
Mtac: A monad for typed tactic programming in Coq
- Part of:
-
- Published online by Cambridge University Press:
- 24 August 2015, e12
-
- Article
-
- You have access
- Export citation
- Cited by 13
Formatting: a class act
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 935-944
-
- Article
-
- You have access
- Export citation
- Cited by 13
How to evaluate the performance of gradual type systems
- Part of:
-
- Published online by Cambridge University Press:
- 20 February 2019, e4
-
- Article
-
- You have access
- Export citation
- Cited by 13
Systematic abstraction of abstract machines
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 705-746
-
- Article
-
- You have access
- Export citation
- Cited by 13
Syntactic soundness proof of a type-and-capability system with hidden state
- Part of:
-
- Published online by Cambridge University Press:
- 10 October 2012, pp. 38-144
-
- Article
-
- You have access
- Export citation
- Cited by 12
HM(X) type inference is CLP(X) solving
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2008, pp. 251-283
-
- Article
-
- You have access
- Export citation
- Cited by 12
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- Part of:
-
- Published online by Cambridge University Press:
- 14 October 2013, pp. 515-551
-
- Article
-
- You have access
- Export citation
- Cited by 12
FUNCTIONAL PEARL Type-safe cast
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 681-695
-
- Article
-
- You have access
- Export citation
- Cited by 12
Tight typings and split bounds, fully developed
- Part of:
-
- Published online by Cambridge University Press:
- 19 May 2020, e14
-
- Article
-
- You have access
- Export citation
- Cited by 12
An algebra for distributed Big Data analytics
- Part of:
-
- Published online by Cambridge University Press:
- 11 December 2017, e27
-
- Article
-
- You have access
- Export citation
- Cited by 12
Non-parametric parametricity
- Part of:
-
- Published online by Cambridge University Press:
- 07 September 2011, pp. 497-562
-
- Article
-
- You have access
- Export citation
- Cited by 12
Composition of functions with accumulating parameters
-
- Published online by Cambridge University Press:
- 14 April 2004, pp. 317-363
-
- Article
-
- You have access
- Export citation
- Cited by 12
A type-based escape analysis for functional languages
-
- Published online by Cambridge University Press:
- 01 May 1998, pp. 239-273
-
- Article
-
- You have access
- Export citation