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
  

Volume 19, Numbers 3-4, July 2009

• Conor McBride, Tarmo Uustalu:
  Preface. 263-264
  
• Stephen Lack, John Power:
  Gabriel-Ulmer duality and Lawvere theories enriched over a general base. 265-286
  
• Andreas Abel:
  Implementing a normalizer using sized heterogeneous types. 287-310
  
• Thorsten Altenkirch, James Chapman:
  Big-step normalisation. 311-333
  
• Robert Atkey:
  Parameterised notions of computation. 335-376
  
• Jeremy Gibbons, Bruno C. d. S. Oliveira:
  The essence of the Iterator pattern. 377-402
  
• Bart Jacobs, Chris Heunen, Ichiro Hasuo:
  Categorical semantics for arrows. 403-438
  
• Ralph Matthes:
  An induction principle for nested datatypes in intensional type theory. 439-468
  
• J. Michael Spivey:
  Algebras for combinatorial search. 469-487
  

Volume 19, Number 5, September 2009

• Xavier Leroy, Matthias Felleisen:
  Editorial. 489-490
  

• Ralf Hinze:
  The Bird Tree. 491-508
  

• Jacques Carette, Oleg Kiselyov, Chung-chieh Shan:
  Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. 509-543
  
• Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson:
  Algebra of programming in Agda: Dependent types for relational program derivation. 545-579
  
• Ariel Arbiser, Alexandre Miquel, Alejandro Ríos:
  The lambda-calculus with constructors: Syntax, confluence and separation. 581-631
  

Volume 19, Number 6, November 2009

• Ralf Hinze:
  Purely Functional 1-2 Brother Trees. 633-644
  
• Eric Walkingshaw, Martin Erwig:
  A domain-specific language for experimental game theory. 645-661
  

• Tom Schrijvers, Peter J. Stuckey, Philip Wadler:
  Monadic constraint programming. 663-697
  
• Keiko Nakata, Masahito Hasegawa:
  Small-step and big-step semantics for call-by-need. 699-722
  

• Olaf Chitil:
  Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008. 723-725
  

Last update Wed May 22 17:57:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page