Electronic Notes in Theoretical Computer Science, Volume 41

Volume 41, Number 1, 2000

2000 ACM SIGPLAN Haskell Workshop
Montréal, Canada, 17th September 2000

Graham Hutton:
Preface.
Electronic Edition (link) BibTeX
Erik Meijer, Sigbjorn Finne:
Lambada, Haskell as a Better Java.
Electronic Edition (link) BibTeX
Simon Marlow:
Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server.
Electronic Edition (link) BibTeX
Erik Meijer, Danny van Velzen:
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier.
Electronic Edition (link) BibTeX
Chris Okasaki:
An Overview of Edison.
Electronic Edition (link) BibTeX
S. Doaitse Swierstra:
Combinator Parsers - From Toys to Tools.
Electronic Edition (link) BibTeX
Koen Claessen, Peter Ljunglöf:
Typed Logical Variables in Haskell.
Electronic Edition (link) BibTeX
Andy Gill:
Debugging Haskell by Observing Intermediate Data Structures.
Electronic Edition (link) BibTeX
Adam Bakewell, Colin Runciman:
A Space Semantics for Core Haskell.
Electronic Edition (link) BibTeX
Ralf Hinze, Simon L. Peyton Jones:
Derivable Type Classes.
Electronic Edition (link) BibTeX
Jonas Holmerin, Björn Lisper:
Data Field Haskell.
Electronic Edition (link) BibTeX
Martin Erwig, Simon L. Peyton Jones:
Pattern Guards and Transformational Patterns.
Electronic Edition (link) BibTeX

HLCL 2000: 4th International Workshop on High-Level Concurrent Languages
Montréal, Canada, September 20, 2000

Peter Sewell:
Preface.
Electronic Edition (link) BibTeX
Tom Chothia, Ian Stark:
A Distributed Pi-Calculus with Local Areas of Communication.
Electronic Edition (link) BibTeX

HOOTS 2000: 4th International Workshop on Higher Order Operational Techniques in Semantics
Montréal, Canada, 22 September 2000

Alan Jeffrey:
Preface.
Electronic Edition (link) BibTeX
Simon Helsen, Peter Thiemann:
Syntactic Type Soundness for the Region Calculus.
Electronic Edition (link) BibTeX
Yasuhiko Minamide:
A New Criterion for Safe Program Transformations.
Electronic Edition (link) BibTeX
Roberto Virga:
Efficient Substitution in Hoare Logic Expressions.
Electronic Edition (link) BibTeX
Michael Baldamus:
First-order Semantics for Higher-order Processes.
Electronic Edition (link) BibTeX
Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo:
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
Electronic Edition (link) BibTeX