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 8
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays
-
- Published online by Cambridge University Press:
- 21 August 2020, e26
-
- Article
-
- You have access
- Export citation
- Cited by 8
Lexical profiling: theory and practice
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 225-277
-
- Article
-
- You have access
- Export citation
- Cited by 8
Enumerating the strings of regular languages
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 503-518
-
- Article
-
- You have access
- Export citation
- Cited by 8
An intuitionistic λ-calculus with exceptions
-
- Published online by Cambridge University Press:
- 08 December 2004, pp. 33-52
-
- Article
-
- You have access
- Export citation
- Cited by 8
On the effectiveness of functional language features: NAS benchmark FT
-
- Published online by Cambridge University Press:
- 01 January 1997, pp. 103-123
-
- Article
-
- You have access
- Export citation
- Cited by 8
Type-safe run-time polytypic programming
-
- Published online by Cambridge University Press:
- 28 February 2006, pp. 681-710
-
- Article
-
- You have access
- Export citation
- Cited by 8
Stack-based typed assembly language
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 957-959
-
- Article
-
- You have access
- Export citation
- Cited by 8
Computation semantics of the functional scientific workflow language Cuneiform*
- Part of:
-
- Published online by Cambridge University Press:
- 24 October 2017, e22
-
- Article
-
- You have access
- Export citation
- Cited by 8
Interactive programming in Agda – Objects and graphical user interfaces
- Part of:
-
- Published online by Cambridge University Press:
- 06 February 2017, e8
-
- Article
-
- You have access
- Export citation
- Cited by 8
Every bit counts: The binary representation of typed data and programs
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 529-573
-
- Article
-
- You have access
- Export citation
- Cited by 8
Contracts made manifest*
- Part of:
-
- Published online by Cambridge University Press:
- 29 May 2012, pp. 225-274
-
- Article
-
- You have access
- Export citation
- Cited by 8
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 519-526
-
- Article
-
- You have access
- Export citation
- Cited by 8
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
- Part of:
-
- Published online by Cambridge University Press:
- 26 February 2021, e5
-
- Article
-
- You have access
- Export citation
- Cited by 8
The Bird Tree
-
- Published online by Cambridge University Press:
- 14 September 2009, pp. 491-508
-
- Article
-
- You have access
- Export citation
- Cited by 8
A pattern for almost compositional functions
- Part of:
-
- Published online by Cambridge University Press:
- 02 September 2008, pp. 567-598
-
- Article
-
- You have access
- Export citation
- Cited by 8
Linearization of the lambda-calculus and its relation with intersection type systems
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 519-546
-
- Article
-
- You have access
- Export citation
- Cited by 8
The λse-calculus does not preserve strong normalisation
-
- Published online by Cambridge University Press:
- 03 November 2000, pp. 321-325
-
- Article
-
- You have access
- Export citation
- Cited by 8
Type-based amortized resource analysis with integers and arrays*
- Part of:
-
- Published online by Cambridge University Press:
- 29 October 2015, e17
-
- Article
-
- You have access
- Export citation
- Cited by 8
Scala for generic programmers: Comparing Haskell and Scala support for generic programming
- Part of:
-
- Published online by Cambridge University Press:
- 21 October 2010, pp. 303-352
-
- Article
-
- You have access
- Export citation
- Cited by 8
Maximum marking problems
-
- Published online by Cambridge University Press:
- 04 September 2001, pp. 411-424
-
- Article
-
- You have access
- Export citation