ESOP 2000

27 papers

1. A 3-Part Type Inference Engine · François Pottier
2. A Calculus for Compiling and Linking Classes · Kathleen Fisher, John H. Reppy, Jon G. Riecke
3. A Calculus for Link-Time Compilation · Elena Machkasova, Franklyn A. Turbak
4. A Kleene Analysis of Mobile Ambients · Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
5. A Type System for Bounded Space and Functional In-Place Update--Extended Abstract · Martin Hofmann
6. Abstract Domains for Universal and Existential Properties · Andrew Heaton, Patricia M. Hill, Andy King
7. Alias Types · Frederick Smith, David Walker, J. Gregory Morrisett
8. Compile-Time Debugging of C Programs Working on Trees · Jacob Elgaard, Anders Møller, Michael I. Schwartzbach
9. Constraint-Based Inter-Procedural Analysis of Parallel Programs · Helmut Seidl, Bernhard Steffen
10. Correctness of Java Card Method Lookup via Logical Relations · Ewen Denney, Thomas P. Jensen
11. Directional Type Checking for Logic Programs: Beyond Discriminative Types · Witold Charatonik
12. Equational Reasoning for Linking with First-Class Primitive Modules · J. B. Wells, René Vestergaard
13. Faithful Translations between Polyvariant Flows and Polymorphic Types · Torben Amtoft, Franklyn A. Turbak
14. First-Class Structures for Standard ML · Claudio V. Russo
15. Flow-Directed Closure Conversion for Typed Languages · Henry Cejtin, Suresh Jagannathan, Stephen Weeks
16. Formalizing Implementation Strategies for First-Class Continuations · Olivier Danvy
17. Functional Nets · Martin Odersky
18. Implementing Groundness Analysis with Definite Boolean Functions · Jacob M. Howe, Andy King
19. Improving the Representation of Infinite Trees to Deal with Sets of Trees · Laurent Mauborgne
20. On Exceptions Versus Continuations in the Presence of State · Hayo Thielecke
21. On the Expressiveness of Event Notification in Data-Driven Coordination Languages · Nadia Busi, Gianluigi Zavattaro
22. On the Translation of Procedures to Finite Machines · Markus Müller-Olm, Andreas Wolf
23. Polyvariant Flow Analysis with Constrained Types · Scott F. Smith, Tiejun Wang
24. Secure Information Flow as Typed Process Behaviour · Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
25. Sharing Continuations: Proofnets for Languages with Explicit Control · Julia L. Lawall, Harry G. Mairson
26. The Correctness of Type Specialisation · John Hughes
27. Type Classes with Functional Dependencies · Mark P. Jones