Editorial
Editorial
-
- Published online by Cambridge University Press:
- 01 March 2009, p. 143
-
- Article
-
- You have access
- Export citation
Functional Pearls
Type-safe pattern combinators
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 145-156
-
- Article
-
- You have access
- Export citation
Theoretical Pearls
Coherence of subsumption for monadic types
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 157-172
-
- Article
-
- You have access
- Export citation
Articles
Regular-expression derivatives re-examined
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 173-190
-
- Article
-
- You have access
- Export citation
First-class patterns
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 191-225
-
- Article
-
- You have access
- Export citation
The worker/wrapper transformation
- Part of:
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 227-251
-
- Article
-
- You have access
- Export citation
Book Review
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141.
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 253-254
-
- Article
-
- You have access
- Export citation
Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp.
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 254-256
-
- Article
-
- You have access
- Export citation
Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5.
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 256-259
-
- Article
-
- You have access
- Export citation
Programming Erlang – Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X.
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. 259-261
-
- Article
-
- You have access
- Export citation
Correction
FUNCTIONAL PEARL. Proof-directed debugging – Corrigendum
-
- Published online by Cambridge University Press:
- 01 March 2009, p. 262
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
JFP volume 19 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
JFP volume 19 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 01 March 2009, pp. b1-b2
-
- Article
-
- You have access
- Export citation