Electronic Notes in Theoretical Computer Science, Volume 41

Volume 41, Number 1, 2000

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

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

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

Tom Chothia, Ian Stark:
A Distributed Pi-Calculus with Local Areas of Communication. 1-16
Peter Sewell:
Preface. 17-18

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

Simon Helsen, Peter Thiemann:
Syntactic Type Soundness for the Region Calculus. 1-19
Yasuhiko Minamide:
A New Criterion for Safe Program Transformations. 20-34
Roberto Virga:
Efficient Substitution in Hoare Logic Expressions. 35-49
Michael Baldamus:
First-order Semantics for Higher-order Processes. 50-69
Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo:
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. 70-88
Alan Jeffrey:
Preface. 89

Last update Tue May 21 13:43:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page