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
  
• Hayo Thielecke:
  Control effects as a modality. 17-26
  
• Simon Frankau, Diomidis Spinellis, Nick Nassuphis, Christoph Burgard:
  Commercial uses: Going functional on exotic trades. 27-45
  
• Alberto de la Encina, Ricardo Peña-Marí:
  From natural semantics to C: A formal derivation of two STG machines. 47-94
  
• Melissa E. O'Neill:
  The Genuine Sieve of Eratosthenes. 95-106
  
• Sungwoo Park, Hyeonseung Im:
  Type-safe higher-order channels with channel locality. 107-142
  

Volume 19, Number 2, March 2009

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