The Journal of Functional Programming, Volume 19

Volume 19, Number 1, January 2009

• S. Doaitse Swierstra, Olaf Chitil:
  Linear, bounded, functional pretty-printing. 1-16
  Electronic Edition (link) BibTeX
• Hayo Thielecke:
  Control effects as a modality. 17-26
  Electronic Edition (link) BibTeX
• Simon Frankau, Diomidis Spinellis, Nick Nassuphis, Christoph Burgard:
  Commercial uses: Going functional on exotic trades. 27-45
  Electronic Edition (link) BibTeX
• Alberto de la Encina, Ricardo Peña-Marí:
  From natural semantics to C: A formal derivation of two STG machines. 47-94
  Electronic Edition (link) BibTeX
• Melissa E. O'Neill:
  The Genuine Sieve of Eratosthenes. 95-106
  Electronic Edition (link) BibTeX
• Sungwoo Park, Hyeonseung Im:
  Type-safe higher-order channels with channel locality. 107-142
  Electronic Edition (link) BibTeX

Volume 19, Number 2, March 2009

• Xavier Leroy:
  Editorial. 143
  Electronic Edition (link) BibTeX
• Morten Rhiger:
  Type-safe pattern combinators. 145-156
  Electronic Edition (link) BibTeX
• Jan Schwinghammer:
  Coherence of subsumption for monadic types. 157-172
  Electronic Edition (link) BibTeX
• Scott Owens, John H. Reppy, Aaron Turon:
  Regular-expression derivatives re-examined. 173-190
  Electronic Edition (link) BibTeX
• C. Barry Jay, Delia Kesner:
  First-class patterns. 191-225
  Electronic Edition (link) BibTeX
• Andy Gill, Graham Hutton:
  The worker/wrapper transformation. 227-251
  Electronic Edition (link) BibTeX
• Anthony M. Sloane:
  Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141. 253-254
  Electronic Edition (link) BibTeX
• Peter Gammie:
  Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp. 254-256
  Electronic Edition (link) BibTeX
• Saketh Bhamidipati:
  Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5. 256-259
  Electronic Edition (link) BibTeX
• Krishna Sankar:
  Programming Erlang - Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X. 259-261
  Electronic Edition (link) BibTeX
• Robert Harper:
  FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum. 262
  Electronic Edition (link) BibTeX