External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 41, Issue 3

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

    Volume 41, Issue 2

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

    Volume 41, Issue 1

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