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 9
Infusing an HtDP-based CS1 with distributed programming using functional video games
- Part of:
-
- Published online by Cambridge University Press:
- 06 March 2018, e5
-
- Article
-
- You have access
- Export citation
- Cited by 9
Using Miranda as a first programming language
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 5-34
-
- Article
-
- You have access
- Export citation
- Cited by 9
Quantitative static analysis of distributed systems
-
- Published online by Cambridge University Press:
- 08 June 2005, pp. 703-749
-
- Article
-
- You have access
- Export citation
- Cited by 9
Generating action compilers by partial evaluation
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 269-298
-
- Article
-
- You have access
- Export citation
- Cited by 9
Compilation and equivalence of imperative objects
-
- Published online by Cambridge University Press:
- 01 July 1999, pp. 373-426
-
- Article
-
- You have access
- Export citation
- Cited by 9
How powerful are folding/unfolding transformations?
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 89-112
-
- Article
-
- You have access
- Export citation
- Cited by 9
A functional animation starter-kit
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 1-18
-
- Article
-
- You have access
- Export citation
- Cited by 9
A representation theorem for second-order functionals
- Part of:
-
- Published online by Cambridge University Press:
- 08 September 2015, e13
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 9
Semantics directed program execution monitoring†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 501-547
-
- Article
-
- You have access
- Export citation
- Cited by 9
Balancing weight-balanced trees
- Part of:
-
- Published online by Cambridge University Press:
- 27 May 2011, pp. 287-307
-
- Article
-
- You have access
- Export citation
- Cited by 9
Algebraic data integration*
- Part of:
-
- Published online by Cambridge University Press:
- 02 November 2017, e24
-
- Article
-
- You have access
- Export citation
- Cited by 9
Safe zero-cost coercions for Haskell
- Part of:
-
- Published online by Cambridge University Press:
- 28 July 2016, e15
-
- Article
-
- You have access
- Export citation
- Cited by 9
An insider's look at LF type reconstruction: everything you (n)ever wanted to know
- Part of:
-
- Published online by Cambridge University Press:
- 02 November 2012, pp. 1-37
-
- Article
-
- You have access
- Export citation
- Cited by 9
An induction principle for nested datatypes in intensional type theory
- Part of:
-
- Published online by Cambridge University Press:
- 01 July 2009, pp. 439-468
-
- Article
-
- You have access
- Export citation
- Cited by 9
A study of sparse matrix representations for solving linear systems in a functional language
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 61-72
-
- Article
-
- You have access
- Export citation
- Cited by 8
Type-safe pattern combinators
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 145-156
-
- Article
-
- You have access
- Export citation
- Cited by 8
Prototyping a parallel vision system in Standard ML
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 345-382
-
- Article
-
- You have access
- Export citation
- Cited by 8
A lightweight approach to datatype-generic rewriting
- Part of:
-
- Published online by Cambridge University Press:
- 27 September 2010, pp. 375-413
-
- Article
-
- You have access
- Export citation
- Cited by 8
Refactoring tools for functional languages
- Part of:
-
- Published online by Cambridge University Press:
- 22 October 2013, pp. 293-350
-
- Article
-
- You have access
- Export citation
- 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