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 updated on Wed May 22 05:54:14 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page