Preface
Preface
-
- Published online by Cambridge University Press:
- 01 July 2007, p. 431
-
- Article
-
- You have access
- Export citation
Article
A module calculus for Pure Type Systems
-
- Published online by Cambridge University Press:
- 04 May 2006, pp. 287-352
-
- Article
-
- You have access
- Export citation
An extended comparative study of language support for generic programming
-
- Published online by Cambridge University Press:
- 01 March 2007, pp. 145-205
-
- Article
-
- You have access
- Export citation
Practical type inference for arbitrary-rank types
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 1-82
-
- Article
-
- You have access
- Export citation
Educational Pearl
Engineering Software Correctness
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 675-686
-
- Article
-
- You have access
- Export citation
Article
Recursive type generativity
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 433-471
-
- Article
-
- You have access
- Export citation
An object-oriented calculus with term constraints
-
- Published online by Cambridge University Press:
- 04 January 2007, pp. 353-386
-
- Article
-
- You have access
- Export citation
Understanding functional dependencies via constraint handling rules
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 83-129
-
- Article
-
- You have access
- Export citation
Type sharing constraints and undecidability
-
- Published online by Cambridge University Press:
- 01 March 2007, pp. 207-214
-
- Article
-
- You have access
- Export citation
A monadic framework for delimited continuations
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 687-730
-
- Article
-
- You have access
- Export citation
Spreadsheet functional programming
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 131-143
-
- Article
-
- You have access
- Export citation
Dependent ML An approach to practical programming with dependent types
-
- Published online by Cambridge University Press:
- 01 March 2007, pp. 215-286
-
- Article
-
- You have access
- Export citation
Warnings for pattern matching
-
- Published online by Cambridge University Press:
- 15 February 2007, pp. 387-421
-
- Article
-
- You have access
- Export citation
A logical analysis of aliasing in imperative higher-order functions
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 473-546
-
- Article
-
- You have access
- Export citation
Monadic augment and generalised short cut fusion
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 731-776
-
- Article
-
- You have access
- Export citation
Acute: High-level programming language design for distributed computation
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 547-612
-
- Article
-
- You have access
- Export citation
What is the meaning of these constant interruptions?
-
- Published online by Cambridge University Press:
- 01 November 2007, pp. 777-792
-
- Article
-
- You have access
- Export citation
Book Review
SMIL 2.0 Interactive Multimedia for Web and Mobile Devices by C. A. Dick Bulterman and Lloyd Rutledge, Springer X.media.publishing, 2004, 440pp, ISBN 3-540-20234-X
-
- Published online by Cambridge University Press:
- 15 February 2007, pp. 423-424
-
- Article
-
- You have access
- Export citation
Article
Mechanizing metatheory in a logical framework
-
- Published online by Cambridge University Press:
- 01 July 2007, pp. 613-673
-
- Article
-
- You have access
- Export citation
Book Review
Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637
-
- Published online by Cambridge University Press:
- 15 February 2007, pp. 424-426
-
- Article
-
- You have access
- Export citation