Journal of Functional Programming, Volume 21

Volume 21, Number 1, January 2011

• Peter Achten:
  The Soccer-Fun project. 1-19
  

• Sungwoo Park, Hyeonseung Im:
  A calculus for hardware description. 21-58
  
• Mary Sheeran:
  Functional and dynamic programming in the design of parallel prefix networks. 59-114
  

• Peter Gammie:
  Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin. 115-117
  

Volume 21, Number 2, March 2011

• Richard S. Bird:
  Building a consensus: A rectangle covering problem. 119-128
  
• Maarten M. Fokkinga:
  The Hough transform. 129-133
  

• Oliver Friedmann, Martin Lange:
  More on balanced diets. 135-157
  
• Johannes Borgström, Andrew D. Gordon, Riccardo Pucella:
  Roles, stacks, histories: A triple for Hoare. 159-207
  
• Peter Gammie:
  Short note: Strict unwraps make worker/wrapper fusion totally correct. 209-213
  

• Jurriaan Hage:
  Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages, by Terence Parr, Pragmatic Bookshelf, http: //www.pragprog.com, ISBN 9781934356456. 215-217
  
• Willem de Jong:
  Foundations of F# Robert Pickering, Apress, 2007 ISBN 10: 1-59059-757-5. 217-218
  

Volume 21, Number 3, May 2011

• Ralf Hinze:
  Typed quote/antiquote or: Compile-time parsing. 219-234
  

• Andrew M. Pitts:
  Structural recursion with locally scoped names. 235-286
  
• Yoichi Hirai, Kazuhiko Yamamoto:
  Balancing weight-balanced trees. 287-307
  
• Barney Stratford:
  A combinator library for the design of railway track layouts. 309-329
  

Volume 21, Numbers 4-5, September 2011

• Andrew P. Tolmach, Xavier Leroy:
  Special Issue Dedicated to ICFP 2009 Editorial. 331-332
  

• Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann:
  OutsideIn(X) Modular type inference with local assumptions. 333-412
  
• Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
  Purely functional lazy nondeterministic programming. 413-465
  
• Hai Liu, Eric Cheng, Paul Hudak:
  Causal commutative arrows. 467-496
  
• Georg Neis, Derek Dreyer, Andreas Rossberg:
  Non-parametric parametricity. 497-562
  

Volume 21, Number 6, November 2011

• Matti Nykänen:
  A note on the genuine Sieve of Eratosthenes. 563-572
  
• Wouter Swierstra:
  Sorted - Verifying the Problem of the Dutch National Flag in Agda. 573-583
  

• Norman Ramsey:
  Embedding an interpreted language using higher-order functions and types. 585-615
  
• Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
  Shifting the stage - Staging with delimited control. 617-662
  

• Jacques Carette:
  Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. 663-664
  
• Toni Cebrián:
  How to think about algorithms, by Jeff Edmonds, Cambridge University Press, ISBN 0521614104. 664-666
  

Last update Thu May 23 19:08:13 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page