9. ESOP 2000: Berlin, Germany (Part of ETAPS 2000)

@proceedings{DBLP:conf/esop/2000,
  editor    = {Gert Smolka},
  title     = {Programming Languages and Systems, 9th European Symposium on
               Programming, ESOP 2000, Held as Part of the European Joint Conferences
               on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany,
               March 25 - April 2, 2000, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1782},
  year      = {2000},
  isbn      = {3-540-67262-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

• Martin Odersky:
  Functional Nets. 1-25
  Electronic Edition (Springer LINK) BibTeX

Regular Papers

• Torben Amtoft, Franklyn A. Turbak:
  Faithful Translations between Polyvariant Flows and Polymorphic Types. 26-40
  Electronic Edition (Springer LINK) BibTeX
• Nadia Busi, Gianluigi Zavattaro:
  On the Expressiveness of Event Notification in Data-Driven Coordination Languages. 41-55
  Electronic Edition (Springer LINK) BibTeX
• Henry Cejtin, Suresh Jagannathan, Stephen Weeks:
  Flow-Directed Closure Conversion for Typed Languages. 56-71
  Electronic Edition (Springer LINK) BibTeX
• Witold Charatonik:
  Directional Type Checking for Logic Programs: Beyond Discriminative Types. 72-87
  Electronic Edition (Springer LINK) BibTeX
• Olivier Danvy:
  Formalizing Implementation Strategies for First-Class Continuations. 88-103
  Electronic Edition (Springer LINK) BibTeX
• Ewen Denney, Thomas P. Jensen:
  Correctness of Java Card Method Lookup via Logical Relations. 104-118
  Electronic Edition (Springer LINK) BibTeX
• Jacob Elgaard, Anders Møller, Michael I. Schwartzbach:
  Compile-Time Debugging of C Programs Working on Trees. 119-134
  Electronic Edition (Springer LINK) BibTeX
• Kathleen Fisher, John H. Reppy, Jon G. Riecke:
  A Calculus for Compiling and Linking Classes. 135-149
  Electronic Edition (Springer LINK) BibTeX
• Andrew Heaton, Patricia M. Hill, Andy King:
  Abstract Domains for Universal and Existential Properties. 150-164
  Electronic Edition (Springer LINK) BibTeX
• Martin Hofmann:
  A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. 165-179
  Electronic Edition (Springer LINK) BibTeX
• Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
  Secure Information Flow as Typed Process Behaviour. 180-199
  Electronic Edition (Springer LINK) BibTeX
• Jacob M. Howe, Andy King:
  Implementing Groundness Analysis with Definite Boolean Functions. 200-214
  Electronic Edition (Springer LINK) BibTeX
• John Hughes:
  The Correctness of Type Specialisation. 215-229
  Electronic Edition (Springer LINK) BibTeX
• Mark P. Jones:
  Type Classes with Functional Dependencies. 230-244
  Electronic Edition (Springer LINK) BibTeX
• Julia L. Lawall, Harry G. Mairson:
  Sharing Continuations: Proofnets for Languages with Explicit Control. 245-259
  Electronic Edition (Springer LINK) BibTeX
• Elena Machkasova, Franklyn A. Turbak:
  A Calculus for Link-Time Compilation. 260-274
  Electronic Edition (Springer LINK) BibTeX
• Laurent Mauborgne:
  Improving the Representation of Infinite Trees to Deal with Sets of Trees. 275-289
  Electronic Edition (Springer LINK) BibTeX
• Markus Müller-Olm, Andreas Wolf:
  On the Translation of Procedures to Finite Machines. 290-304
  Electronic Edition (Springer LINK) BibTeX
• Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv:
  A Kleene Analysis of Mobile Ambients. 305-319
  Electronic Edition (Springer LINK) BibTeX
• François Pottier:
  A 3-Part Type Inference Engine. 320-335
  Electronic Edition (Springer LINK) BibTeX
• Claudio V. Russo:
  First-Class Structures for Standard ML. 336-350
  Electronic Edition (Springer LINK) BibTeX
• Helmut Seidl, Bernhard Steffen:
  Constraint-Based Inter-Procedural Analysis of Parallel Programs. 351-365
  Electronic Edition (Springer LINK) BibTeX
• Frederick Smith, David Walker, J. Gregory Morrisett:
  Alias Types. 366-381
  Electronic Edition (Springer LINK) BibTeX
• Scott F. Smith, Tiejun Wang:
  Polyvariant Flow Analysis with Constrained Types. 382-396
  Electronic Edition (Springer LINK) BibTeX
• Hayo Thielecke:
  On Exceptions Versus Continuations in the Presence of State. 397-411
  Electronic Edition (Springer LINK) BibTeX
• J. B. Wells, René Vestergaard:
  Equational Reasoning for Linking with First-Class Primitive Modules. 412-428
  Electronic Edition (Springer LINK) BibTeX