Skip to Navigation
Skip to Content
 
Home> Journal of Functional Programming> Vol. 19 Issue 02

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Journal of Functional Programming

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • Matthias Felleisen, Northeastern University, USA
    Xavier Leroy, INRIA Rocquencourt, France

Sort by

Previous Issue Next Issue

Table of Contents - Volume 19 - Issue 02  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Front Cover (OFC, IFC) and matter

 
 

JFP volume 19 issue 2 Cover and Front matter

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp f1-f2
doi:10.1017/S0956796809007199 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

Back Cover (IBC, OBC) and matter

 
 

JFP volume 19 issue 2 Cover and Back matter

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp b1-b2
doi:10.1017/S0956796809007217 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

Editorial

 
 

Editorial

Xavier Leroy

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 143-143
doi:10.1017/S0956796809007187 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

Functional Pearls

 
 

Type-safe pattern combinators

MORTEN RHIGER

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 145-156
doi:10.1017/S0956796808007089 (About doi), Published Online by Cambridge University Press 23 Dec 2008
 

Theoretical Pearls

 
 

Coherence of subsumption for monadic types

JAN SCHWINGHAMMER

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 157-172
doi:10.1017/S0956796808006886 (About doi), Published Online by Cambridge University Press 30 Jun 2008
 

Articles

 
 

Regular-expression derivatives re-examined

SCOTT OWENS, JOHN REPPY and AARON TURON

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 173-190
doi:10.1017/S0956796808007090 (About doi), Published Online by Cambridge University Press 10 Feb 2009
 

First-class patterns

BARRY JAY and DELIA KESNER

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 191-225
doi:10.1017/S0956796808007144 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

The worker/wrapper transformation

ANDY GILL and GRAHAM HUTTON

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 227-251
doi:10.1017/S0956796809007175 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

Book Reviews

 
 

Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141.

Anthony M. Sloane

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 253-254
doi:10.1017/S0956796808006977 (About doi), Published Online by Cambridge University Press 08 Sep 2008
 

Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp.

Peter Gammie

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 254-256
doi:10.1017/S0956796808007028 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5.

Saketh Bhamidipati

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 256-259
doi:10.1017/S0956796809007151 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

Programming Erlang – Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X.

Krishna Sankar

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 259-261
doi:10.1017/S0956796809007163 (About doi), Published Online by Cambridge University Press 06 Mar 2009
 

Errata

 
 

FUNCTIONAL PEARL. Proof-directed debugging – Corrigendum

Robert Harper

Journal of Functional Programming, Volume 19, Issue 02, March 2009, pp 262-262
doi:10.1017/S0956796808007119 (About doi), Published Online by Cambridge University Press 06 Mar 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press