Research Article
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
-
- Published online by Cambridge University Press:
- 12 April 2001, pp. 155-206
-
- Article
-
- You have access
- Export citation
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
-
- Published online by Cambridge University Press:
- 04 September 2001, pp. 359-393
-
- Article
-
- You have access
- Export citation
Monadic encapsulation of effects: a revised approach (extended version)
-
- Published online by Cambridge University Press:
- 28 November 2001, pp. 591-627
-
- Article
-
- You have access
- Export citation
Editorial
Special issue on Algorithmic aspects of functional programming languages
-
- Published online by Cambridge University Press:
- 29 August 2001, pp. 439-440
-
- Article
-
- You have access
- Export citation
Editorial
-
- Published online by Cambridge University Press:
- 26 March 2001, p. 1
-
- Article
-
- You have access
- Export citation
Research Article
From Polyvariant flow information to intersection and union types
-
- Published online by Cambridge University Press:
- 31 May 2001, pp. 263-317
-
- Article
-
- You have access
- Export citation
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
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
-
- Published online by Cambridge University Press:
- 12 April 2001, pp. 207-251
-
- Article
-
- You have access
- Export citation
Exceptional syntax
-
- Published online by Cambridge University Press:
- 04 September 2001, pp. 395-410
-
- Article
-
- You have access
- Export citation
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
-
- Published online by Cambridge University Press:
- 28 November 2001, pp. 629-671
-
- Article
-
- You have access
- Export citation
Automated complexity analysis of Nuprl extracted programs
-
- Published online by Cambridge University Press:
- 26 March 2001, pp. 3-31
-
- Article
-
- You have access
- Export citation
Persistent triangulations
-
- Published online by Cambridge University Press:
- 29 August 2001, pp. 441-466
-
- Article
-
- You have access
- Export citation
Functional Pearls
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
Research Article
FUNCTIONAL PEARL Unfolding pointer algorithms
-
- Published online by Cambridge University Press:
- 31 May 2001, pp. 347-358
-
- Article
-
- You have access
- Export citation
Book reviews
Structure and Interpretation of Computer Programs, 2nd Ed by Abelson and Sussman, with Sussman, MIT Press, 1996, ISBN 0-262-51087-1, 657pp.
-
- Published online by Cambridge University Press:
- 12 April 2001, pp. 253-262
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARLS
Maximum marking problems
-
- Published online by Cambridge University Press:
- 04 September 2001, pp. 411-424
-
- Article
-
- You have access
- Export citation
Research Article
Inductive graphs and functional graph algorithms
-
- Published online by Cambridge University Press:
- 29 August 2001, pp. 467-492
-
- Article
-
- You have access
- Export citation
Algorithms with polynomial interpretation termination proof
-
- Published online by Cambridge University Press:
- 26 March 2001, pp. 33-53
-
- Article
-
- You have access
- Export citation
Manufacturing datatypes
-
- Published online by Cambridge University Press:
- 29 August 2001, pp. 493-524
-
- Article
-
- You have access
- Export citation
The expressive power of higher-order types or, life without CONS
-
- Published online by Cambridge University Press:
- 26 March 2001, pp. 55-94
-
- Article
-
- You have access
- Export citation