You have Guest access.
Log In
Donald Sannella
Front matter
1-25
A theory of primitive objects Second-order systems
26-42
Pi-nets: A graphical form of π-calculus
43-57
Local type reconstruction by means of symbolic fixed point iteration
58-73
An asynchronous process algebra with multiple clocks
74-88
Foundational issues in implementing constraint logic programming systems
89-104
Programming with behaviors in an ML framework — The syntax and semantics of LCS
105-119
Characterizing behavioural semantics and abstractor semantics
120-134
Extending pruning techniques to polymorphic second order λ-calculus
135-149
λ-definition of function(al)s by normal forms
150-164
Simulation of SOS definitions with term rewriting systems
165-179
Strategies in modular system design by interface rewriting
180-194
Symbolic model checking and constraint logic programming: A cross-fertilization
195-210
A logical denotational semantics for constraint logic programming
211-224
Compilation of head and strong reduction
225-240
Suffix trees in the functioned programming paradigm
241-256
Type classes in Haskell
257-271
Lazy type inference for the strictness analysis of lists
272-286
Lazy unification with simplification
287-301
Polymorphic binding-time analysis
302-316
Shapely types and shape polymorphism
317-332
Bottom-up grammar analysis — A functional formulation
333-347
First-class polymorphism for ML
348-362
Dimension types
363-378
A synergistic analysis for sharing and groundness which traces linearity
379-393
A π-calculus specification of prolog
394-408
A logical framework for evolution of specifications
409-423
A semantics for higher-order functors
424-438
The PCKS-machine: An abstract machine for sound evaluation of parallel functional programs with first-class continuations
439-453
A tiny constraint functional logic language and its continuation semantics
454-468
Fully abstract translations and parametric polymorphism
469-484
Broadcasting with priority
485-500
Towards unifying partial evaluation, deforestation, supercompilation, and GPC
501-516
Algebraic proofs of properties of objects
Back matter
Martín Abadi and Luca Cardelli
Robin Milner
Torben Amtoft
Henrik Reif Andersen and Michael Mendler
James H. Andrews
Bernard Berthomieu and Thierry Le Sergent
Michel Bidoit, Rolf Hennicker and Martin Wirsing
Luca Boerio
Corrado Böhm, Adolfo Piperno and Stefano Guerrini
Karl-Heinz Buth
S. Cicerone and F. Parisi Presicce
M. -M. Corsini and A. Rauzy
Alessandra Di Pierro and Catuscia Palamidessi
Pascal Fradet
Robert Giegerich and Stefan Kurtz
Cordelia Hall, Kevin Hammond, Simon Peyton Jones and Philip Wadler
Chris Hankin and Daniel Le Métayer
Michael Hanus
Fritz Henglein and Christian Mossin
C. Barry Jay and J. R. B. Cockett
Johan Jeuring and Doaitse Swierstra
Stefan Kahrs
Andrew Kennedy
Andy King
Benjamin Z. Li
Wei Li
David B. MacQueen and Mads Tofte
Luc Moreau
Andy Mück, Thomas Streicher and Hendrik C. R. Lock
Peter W. O'Hearn and Jon G. Riecke
K. V. S. Prasad
Morten Heine Sørensen, Robert Glück and Neil D. Jones
David Walker
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