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