Articles
Lightweight family polymorphism*
- Part of:
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 285-331
-
- Article
-
- You have access
- Export citation
Functional Pearls
Applicative programming with effects
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 1-13
-
- Article
-
- You have access
- Export citation
Data types à la carte
-
- Published online by Cambridge University Press:
- 18 March 2008, pp. 423-436
-
- Article
-
- You have access
- Export citation
Articles
A type system with usage aspects
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2008, pp. 141-178
-
- Article
-
- You have access
- Export citation
Editorial
Editorial
-
- Published online by Cambridge University Press:
- 08 September 2008, pp. 565-566
-
- Article
-
- You have access
- Export citation
Articles
Types and trace effects of higher order programs
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2008, pp. 179-249
-
- Article
-
- You have access
- Export citation
Efficient execution in an automated reasoning environment
- Part of:
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 15-46
-
- Article
-
- You have access
- Export citation
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
- Part of:
-
- Published online by Cambridge University Press:
- 17 October 2007, pp. 437-502
-
- Article
-
- You have access
- Export citation
A pattern for almost compositional functions
- Part of:
-
- Published online by Cambridge University Press:
- 02 September 2008, pp. 567-598
-
- Article
-
- You have access
- Export citation
Translation of tree-processing programs into stream-processing programs based on ordered linear type1
- Part of:
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 333-371
-
- Article
-
- You have access
- Export citation
HM(X) type inference is CLP(X) solving
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2008, pp. 251-283
-
- Article
-
- You have access
- Export citation
Control reduction theories: the benefit of structural substitution
- Part of:
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 373-419
-
- Article
-
- You have access
- Export citation
An operational semantics for Scheme1
- Part of:
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 47-86
-
- Article
-
- You have access
- Export citation
Modular development of certified program verifiers with a proof assistant1,2
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2008, pp. 599-647
-
- Article
-
- You have access
- Export citation
Safety of Nöcker's strictness analysis
- Part of:
-
- Published online by Cambridge University Press:
- 08 November 2007, pp. 503-551
-
- Article
-
- You have access
- Export citation
Transactional events1
- Part of:
-
- Published online by Cambridge University Press:
- 30 October 2008, pp. 649-706
-
- Article
-
- You have access
- Export citation
Book Review
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.
-
- Published online by Cambridge University Press:
- 01 May 2008, pp. 421-422
-
- Article
-
- You have access
- Export citation
Articles
Caml trading – experiences with functional programming on Wall Street
- Part of:
-
- Published online by Cambridge University Press:
- 24 April 2008, pp. 553-564
-
- Article
-
- You have access
- Export citation
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism*
- Part of:
-
- Published online by Cambridge University Press:
- 01 January 2008, pp. 87-140
-
- Article
-
- You have access
- Export citation
Building language towers with Ziggurat
- Part of:
-
- Published online by Cambridge University Press:
- 15 October 2008, pp. 707-780
-
- Article
-
- You have access
- Export citation