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 11
Functional design and implementation of graphical user interfaces for theorem provers
-
- Published online by Cambridge University Press:
- 01 March 1999, pp. 167-189
-
- Article
-
- You have access
- Export citation
- Cited by 11
Monadic regions
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 485-545
-
- Article
-
- You have access
- Export citation
- Cited by 11
Type-checking multi-parameter type classes
-
- Published online by Cambridge University Press:
- 22 March 2002, pp. 133-158
-
- Article
-
- You have access
- Export citation
- Cited by 11
13 Complex Numbers
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. 153-156
-
- Article
-
- You have access
- Export citation
- Cited by 11
MRI: Modular reasoning about interference in incremental programming
- Part of:
-
- Published online by Cambridge University Press:
- 11 October 2012, pp. 797-852
-
- Article
-
- You have access
- Export citation
- Cited by 10
Lazy tree splitting
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 382-438
-
- Article
-
- You have access
- Export citation
- Cited by 10
Featherweight generic confinement
-
- Published online by Cambridge University Press:
- 14 September 2006, pp. 793-811
-
- Article
-
- You have access
- Export citation
- Cited by 10
Functional programming with the FC++ library
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 429-472
-
- Article
-
- You have access
- Export citation
- Cited by 10
Finally tagless observable recursion for an abstract grammar model
- Part of:
-
- Published online by Cambridge University Press:
- 10 July 2012, pp. 757-796
-
- Article
-
- You have access
- Export citation
- Cited by 10
Normalization by evaluation with typed abstract syntax
-
- Published online by Cambridge University Press:
- 28 November 2001, pp. 673-680
-
- Article
-
- You have access
- Export citation
- Cited by 10
Exploiting reachability and cardinality in higher-order flow analysis
- Part of:
-
- Published online by Cambridge University Press:
- 12 August 2008, pp. 821-864
-
- Article
-
- You have access
- Export citation
- Cited by 10
Calculating correct compilers
- Part of:
-
- Published online by Cambridge University Press:
- 16 September 2015, e14
-
- Article
-
- You have access
- Export citation
- Cited by 10
Space profiling for parallel functional programs
- Part of:
-
- Published online by Cambridge University Press:
- 03 September 2010, pp. 417-461
-
- Article
-
- You have access
- Export citation
- Cited by 10
Functional and dynamic programming in the design of parallel prefix networks
- Part of:
-
- Published online by Cambridge University Press:
- 06 December 2010, pp. 59-114
-
- Article
-
- You have access
- Export citation
- Cited by 10
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
- Part of:
-
- Published online by Cambridge University Press:
- 06 April 2021, e8
-
- Article
-
- You have access
- Export citation
- Cited by 10
Set constraints for destructive array update optimization
-
- Published online by Cambridge University Press:
- 31 May 2001, pp. 319-346
-
- Article
-
- You have access
- Export citation
- Cited by 10
Canonical typing and ∏-conversion in the Barendregt Cube
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 245-267
-
- Article
-
- You have access
- Export citation
- Cited by 10
Functional Pearls A symmetric set of efficient list operations
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 505-513
-
- Article
-
- You have access
- Export citation
- Cited by 10
First-order functional languages and intensional logic
-
- Published online by Cambridge University Press:
- 01 January 1997, pp. 73-101
-
- Article
-
- You have access
- Export citation
- Cited by 10
Type-checking injective pure type systems
-
- Published online by Cambridge University Press:
- 01 November 1999, pp. 675-698
-
- Article
-
- You have access
- Export citation