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