JFP 2002

19 papers

1. A calculus of module systems · Davide Ancona, Elena Zucca
2. A calculus with polymorphic and polyvariant flow types · J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
3. A fresh look at binary search trees · Ralf Hinze
4. A predicative analysis of structural recursion · Andreas Abel, Thorsten Altenkirch
5. A static semantics for Haskell · Karl-Filip Faxén
6. A typed representation for HTML and XML documents in Haskell · Peter Thiemann
7. CPS in little pieces: composing partial continuations · Daniel P. Friedman, Amr Sabry
8. Developing a high-performance web server in Concurrent Haskell · Simon Marlow
9. DrScheme: a programming environment for Scheme · Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler + 1 more
10. Faking it: Simulating dependent types in Haskell · Conor McBride
11. Intensional polymorphism in type-erasure semantics · Karl Crary, Stephanie Weirich, J. Gregory Morrisett
12. Parallel and Distributed Haskells · Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon
13. Recursive subtyping revealed · Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
14. Region analysis and a pi-calculus with groups · Silvano Dal-Zilio, Andrew D. Gordon
15. Secrets of the Glasgow Haskell Compiler inliner · Simon L. Peyton Jones, Simon Marlow
16. Stack-based typed assembly language · J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
17. The countdown problem · Graham Hutton
18. The lambda calculus is algebraic · Peter Selinger
19. Type-checking multi-parameter type classes · Dominic Duggan, John Ophel