The Journal of Functional Programming, Volume 12

Volume 12, Number 1, January 2002

• Andreas Abel, Thorsten Altenkirch:
  A predicative analysis of structural recursion. 1-41
  
• J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker:
  Stack-based typed assembly language. 3-88
  

Volume 12, Number 2, March 2002

• Davide Ancona, Elena Zucca:
  A calculus of module systems. 91-132
  
• Dominic Duggan, John Ophel:
  Type-checking multi-parameter type classes. 133-158
  
• Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen:
  DrScheme: a programming environment for Scheme. 159-182
  

Volume 12, Number 3, May 2002

• J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak:
  A calculus with polymorphic and polyvariant flow types. 183-227
  
• Silvano Dal-Zilio, Andrew D. Gordon:
  Region analysis and a pi-calculus with groups. 229-292
  

Volume 12, Number 4&5, July 2002

• Karl-Filip Faxén:
  A static semantics for Haskell. 295-357
  
• Simon Marlow:
  Developing a high-performance web server in Concurrent Haskell. 359-374
  
• Conor McBride:
  Faking it: Simulating dependent types in Haskell. 375-392
  
• Simon L. Peyton Jones, Simon Marlow:
  Secrets of the Glasgow Haskell Compiler inliner. 393-433
  
• Peter Thiemann:
  A typed representation for HTML and XML documents in Haskell. 435-468
  
• Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon:
  Parallel and Distributed Haskells. 469-510
  

Volume 12, Number 6, November 2002

• Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce:
  Recursive subtyping revealed. 511-548
  
• Peter Selinger:
  The lambda calculus is algebraic. 549-566
  
• Karl Crary, Stephanie Weirich, J. Gregory Morrisett:
  Intensional polymorphism in type-erasure semantics. 567-600
  

• Ralf Hinze:
  A fresh look at binary search trees. 601-607
  
• Graham Hutton:
  The countdown problem. 609-616
  

• Daniel P. Friedman, Amr Sabry:
  CPS in little pieces: composing partial continuations. 617-622
  

Last update Mon May 20 01:15:48 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page