5. ESOP 1994: Edinburgh, U.K.

Donald Sannella (Ed.): Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Lecture Notes in Computer Science 788 Springer 1994, ISBN 3-540-57880-3 BibTeX

@proceedings{DBLP:conf/esop/1994,
  editor    = {Donald Sannella},
  title     = {Programming Languages and Systems - ESOP'94, 5th European Symposium
               on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {788},
  year      = {1994},
  isbn      = {3-540-57880-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Martín Abadi, Luca Cardelli: A Theory of Primitive Objects - Scond-Order Systems. 1-25 BibTeX
Robin Milner: Pi-Nets: A Graphical Form of pi-Calculus. 26-42 BibTeX

Contributed Papers

Torben Amtoft: Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. 43-57 BibTeX
Henrik Reif Andersen, Michael Mendler: An Asynchronous Algebra with Multiple Clocks. 58-73 BibTeX
James H. Andrews: Foundational Issues in Implementing Constraint Logic Programming Systems. 74-88 BibTeX
Bernard Berthomieu, Thierry Le Sergent: Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. 89-104 BibTeX
Michel Bidoit, Rolf Hennicker, Martin Wirsing: Characterizing Behavioural Semantics and Abstractor Semantics. 105-119 BibTeX
Luca Boerio: Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. 120-134 BibTeX
Corrado Böhm, Adolfo Piperno, Stefano Guerrini: Lambda-Definition of Function(al)s by Normal Forms. 135-149 BibTeX
Karl-Heinz Buth: Simulation of SOS Definitions with Term Rewriting Systems. 150-164 BibTeX
Serafino Cicerone, Francesco Parisi-Presicce: Strategies in Modular System Design by Interface Rewriting. 165-179 BibTeX
Marc-Michel Corsini, Antoine Rauzy: Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. 180-194 BibTeX
Alessandra Di Pierro, Catuscia Palamidessi: A Logical Denotational Semantics for Constraint Logic Programming. 195-210 BibTeX
Pascal Fradet: Compilation of Head and Strong Reduction. 211-224 BibTeX
Robert Giegerich, Stefan Kurtz: Suffix Trees in the Functional Programming Paradigm. 225-240 BibTeX
Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. 241-256 BibTeX
Chris Hankin, Daniel Le Métayer: Lazy Type Inference for the Strictness Analysis of Lists. 257-271 BibTeX
Michael Hanus: Lazy Unification with Simplification. 272-286 BibTeX
Fritz Henglein, Christian Mossin: Polymorphic Binding-Time Analysis. 287-301 BibTeX
C. Barry Jay, J. Robin B. Cockett: Shapely Types and Shape Polymorphism. 302-316 BibTeX
Johan Jeuring, S. Doaitse Swierstra: Bottom-up Grammar Analysis - A Functional Formulation. 317-332 BibTeX
Stefan Kahrs: First-Class Polymorphism for ML. 333-347 BibTeX
Andrew Kennedy: Dimension Types. 348-362 BibTeX
Andy King: A Synergistic Analysis for Sharing and Groundness with Traces Linearity. 363-378 BibTeX
Benjamin Z. Li: A pi-Calculus Specification of Prolog. 379-393 BibTeX
Wei Li: A Logical Framework for Evolution of Specifications. 394-408 BibTeX
David B. MacQueen, Mads Tofte: A Semantics for Higher-Order Functors. 409-423 BibTeX
Luc Moreau: The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. 424-438 BibTeX
Andy Mück, Thomas Streicher: A Tiny Constrain Functional Logic Language and Its Continuation Semantics. 439-453 BibTeX
Peter W. O'Hearn, Jon G. Riecke: Fully Abstract Translations and Parametric Polymorphism. 454-468 BibTeX
K. V. S. Prasad: Broadcasting with Priority. 469-484 BibTeX , journal version: Science of Computer Programming 25 (1995)
Morten Heine Sørensen, Robert Glück, Neil D. Jones: Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. 485-500 BibTeX
David Walker: Algebraic Proofs of Properties of Objects. 501-516 BibTeX