Educational Pearls
EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
-
- Published online by Cambridge University Press:
- 14 September 2006, pp. 663-670
-
- Article
-
- You have access
- Export citation
Article
Introduction
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 373-374
-
- Article
-
- You have access
- Export citation
Educational Pearl
EDUCATIONAL PEARL: Biological sequence similarity
-
- Published online by Cambridge University Press:
- 05 September 2005, pp. 1-12
-
- Article
-
- You have access
- Export citation
EDUCATIONAL PEARL: Automata via macros
-
- Published online by Cambridge University Press:
- 25 October 2016, pp. 253-267
-
- Article
-
- You have access
- Export citation
Functional Pearls
FUNCTIONAL PEARL: Marble mingling
-
- Published online by Cambridge University Press:
- 31 July 2003, pp. 129-136
-
- Article
-
- You have access
- Export citation
Article
Sound and complete models of contracts
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 375-414
-
- Article
-
- You have access
- Export citation
Functional Pearls
FUNCTIONAL PEARLS: Finding celebrities: A lesson in functional programming
-
- Published online by Cambridge University Press:
- 05 September 2005, pp. 13-20
-
- Article
-
- You have access
- Export citation
Theoretical Pearls
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
-
- Published online by Cambridge University Press:
- 25 October 2016, pp. 269-280
-
- Article
-
- You have access
- Export citation
Article
Remarks on the equational theory of non-normalizing pure type systems
-
- Published online by Cambridge University Press:
- 16 September 2003, pp. 137-155
-
- Article
-
- You have access
- Export citation
Functional Pearls
FUNCTIONAL PEARL: A program to solve Sudoku
-
- Published online by Cambridge University Press:
- 07 July 2006, pp. 671-679
-
- Article
-
- You have access
- Export citation
Article
A reflective functional language for hardware design and theorem proving
-
- Published online by Cambridge University Press:
- 28 October 2005, pp. 157-196
-
- Article
-
- You have access
- Export citation
Type-safe run-time polytypic programming
-
- Published online by Cambridge University Press:
- 28 February 2006, pp. 681-710
-
- Article
-
- You have access
- Export citation
Functional Pearls
FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
-
- Published online by Cambridge University Press:
- 12 September 2005, pp. 21-34
-
- Article
-
- You have access
- Export citation
Article
Making a fast curry: push/enter vs. eval/apply for higher-order languages
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 415-449
-
- Article
-
- You have access
- Export citation
Functional Pearls
FUNCTIONAL PEARL: Enumerating the rationals
-
- Published online by Cambridge University Press:
- 25 October 2016, pp. 281-291
-
- Article
-
- You have access
- Export citation
Article
Regular expression filters for XML
-
- Published online by Cambridge University Press:
- 09 June 2006, pp. 711-750
-
- Article
-
- You have access
- Export citation
Finger trees: a simple general-purpose data structure
-
- Published online by Cambridge University Press:
- 16 November 2005, pp. 197-217
-
- Article
-
- You have access
- Export citation
Generics for the masses
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 451-483
-
- Article
-
- You have access
- Export citation
Gencel: a program generator for correct spreadsheets
-
- Published online by Cambridge University Press:
- 25 October 2016, pp. 293-325
-
- Article
-
- You have access
- Export citation
Efficient manipulation of binary data using pattern matching
-
- Published online by Cambridge University Press:
- 12 September 2005, pp. 35-74
-
- Article
-
- You have access
- Export citation