Abstract is missing.
- Parallel Programming and Parallel Abstractions in FortressGuy L. Steele Jr.. 1 [doi]
- Convergence in Language Design: A Case of Lightning Striking Four Times in the Same PlacePeter Van Roy. 2-12 [doi]
- Scrap Your Boilerplate ReloadedRalf Hinze, Andres Löh, Bruno C. d. S. Oliveira. 13-29 [doi]
- Ruler: Programming Type RulesAtze Dijkstra, S. Doaitse Swierstra. 30-46 [doi]
- A Framework for Extended Algebraic Data TypesMartin Sulzmann, Jeremy Wazny, Peter J. Stuckey. 47-64 [doi]
- Lock Free Data Structures Using STM in HaskellAnthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh. 65-80 [doi]
- XML Type Checking Using High-Level Tree TransducerAkihiko Tozawa. 81-96 [doi]
- A Computational Approach to Pocklington Certificates in Type TheoryBenjamin Grégoire, Laurent Théry, Benjamin Werner. 97-113 [doi]
- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof AssistantGilles Barthe, Julien Forest, David Pichardie, Vlad Rusu. 114-129 [doi]
- Soutei, a Logic-Based Trust-Management SystemAndrew Pimlott, Oleg Kiselyov. 130-145 [doi]
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP SystemsAmadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo. 146-162 [doi]
- Resource Analysis by Sup-interpretationJean-Yves Marion, Romain Péchoux. 163-176 [doi]
- Lazy Set-Sharing AnalysisXuan Li, Andy King, Lunjin Lu. 177-191 [doi]
- Size-Change Termination and Bound AnalysisJames Avery. 192-207 [doi]
- Typed Contracts for Functional ProgrammingRalf Hinze, Johan Jeuring, Andres Löh. 208-225 [doi]
- Contracts as Pairs of ProjectionsRobby Findler, Matthias Blume. 226-241 [doi]
- iData for the World Wide Web - Programming Interconnected Web FormsMarinus J. Plasmeijer, Peter Achten. 242-258 [doi]
- Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive LanguagesDaniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi. 259-276 [doi]
- WASH Server PagesPeter Thiemann. 277-293 [doi]