Article
Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
-
- Published online by Cambridge University Press:
- 14 January 2004, pp. 1-2
-
- Article
-
- You have access
- Export citation
EDUCATIONAL PEARL
The Functional “C” experience
-
- Published online by Cambridge University Press:
- 22 January 2004, pp. 129-135
-
- Article
-
- You have access
- Export citation
Editorial
Editorial
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. i-ii
-
- Article
-
- You have access
- Export citation
EDUCATIONAL PEARL
Computer literacy via Scheme and web programming
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 475-488
-
- Article
-
- You have access
- Export citation
Editorial
Special issue on functional pearls Editorial
-
- Published online by Cambridge University Press:
- 27 October 2004, p. 601
-
- Article
-
- You have access
- Export citation
Educational Pearl
Escape from Zurg: an exercise in logic programming
-
- Published online by Cambridge University Press:
- 14 April 2004, pp. 253-261
-
- Article
-
- You have access
- Export citation
Article
The recursive record semantics of objects revisited
-
- Published online by Cambridge University Press:
- 14 April 2004, pp. 263-315
-
- Article
-
- You have access
- Export citation
Educational Pearl
The structure and interpretation of the computer science curriculum
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 365-378
-
- Article
-
- You have access
- Export citation
Article
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
Functional pearls
FUNCTIONAL PEARL Inverting the Burrows–Wheeler transform
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 603-612
-
- Article
-
- You have access
- Export citation
Article
Grammatical Framework
-
- Published online by Cambridge University Press:
- 22 January 2004, pp. 145-189
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL
Global variables in Haskell
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 489-502
-
- Article
-
- You have access
- Export citation
Enumerating the strings of regular languages
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 503-518
-
- Article
-
- You have access
- Export citation
Article
Composition of functions with accumulating parameters
-
- Published online by Cambridge University Press:
- 14 April 2004, pp. 317-363
-
- Article
-
- You have access
- Export citation
Transformation techniques for context-sensitive rewrite systems
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 379-427
-
- Article
-
- You have access
- Export citation
Functional pearls
FUNCTIONAL PEARL On tiling a chessboard
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 613-622
-
- Article
-
- You have access
- Export citation
Article
Building reliable, high-performance networks with the Nuprl proof development system
-
- Published online by Cambridge University Press:
- 14 January 2004, pp. 21-68
-
- Article
-
- You have access
- Export citation
Constructed product result analysis for Haskell
-
- Published online by Cambridge University Press:
- 22 January 2004, pp. 211-245
-
- Article
-
- You have access
- Export citation
The view from the left
-
- Published online by Cambridge University Press:
- 14 January 2004, pp. 69-111
-
- Article
-
- You have access
- Export citation
Functional programming with the FC++ library
-
- Published online by Cambridge University Press:
- 07 June 2004, pp. 429-472
-
- Article
-
- You have access
- Export citation