Volume 20, Number 1, January 2010

• 
  Jeremy Gibbons: Editorial. 1

• 
  John Clements, Kathi Fisler: "Little language" project modules. 3-18

• 
  Simon J. Gay, Vasco Thudichum Vasconcelos: Linear type theory for asynchronous session types. 19-50
• 
  Sam Lindley, Philip Wadler, Jeremy Yallop: The arrow calculus. 51-69
• 
  Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa: Ott: Effective tool support for the working semanticist. 71-122

Volume 20, Number 2, March 2010

• 
  Jeremy Wazny: Experience report: Functional programming in C-Rules. 123-136
• 
  Lukasz Ziarek, Suresh Jagannathan: Lightweight checkpointing for concurrent ML. 137-173
• 
  Dimitrios Vytiniotis, Stephanie Weirich: Parametricity, type equality, and higher-order polymorphism. 175-210

Volume 20, Numbers 3-4, July 2010

• 
  Ralf Hinze: Special Issue on Generic Programming Editorial. 211-212
• 
  Wendy Verbruggen, Edsko de Vries, Arthur Hughes: Formal polytypic programs and proofs. 213-269
• 
  Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp: Generic programming with C++ concepts and Haskell type classes - a comparison. 271-302
• 
  Bruno C. d. S. Oliveira, Jeremy Gibbons: Scala for generic programmers. 303-352
• 
  Graham Hutton, Mauro Jaskelioff, Andy Gill: Factorising folds for faster functions. 353-373
• 
  Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães: A lightweight approach to datatype-generic rewriting. 375-413

Volume 20, Numbers 5-6, November 2008

• 
  Peter Thiemann, Henrik Nilsson: Special Issue Dedicated to ICFP 2008 Editorial. 415-416

• 
  Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons: Space profiling for parallel functional programs. 417-461
• 
  Ralf Hinze: Concrete stream calculus: An extended study. 463-535
• 
  Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw: Implicitly threaded parallelism in Manticore. 537-576
• 
  Eelco Dolstra, Andres Löh, Nicolas Pierron: NixOS: A purely functional Linux distribution. 577-615

last updated on Fri May 24 06:18:02 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page