APPSEM

20002001200220002002

Keyphrases

Publications

volume 2395, 2002

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures APPSEM 2395 (2002)

2000

Martin Odersky
An Introduction to Functional Nets. APPSEM (2000)
Abbas Edalat, Reinhold Heckmann
Computing with Real Numbers. APPSEM (2000)
Gilles Barthe, Thierry Coquand
An Introduction to Dependent Type Theory. APPSEM (2000)
Cédric Fournet, Georges Gonthier
The Join Calculus: A Language for Distributed Mobile Programming. APPSEM (2000)
Didier Rémy
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. APPSEM (2000)
Pierre-Louis Curien
Abstract Machines, Control, and Sequents. APPSEM (2000)
Nick Benton, John Hughes, Eugenio Moggi
Monads and Effects. APPSEM (2000)
Peter Dybjer, Andrzej Filinski
Normalization and Partial Evaluation. APPSEM (2000)
Andrew M. Pitts
Operational Semantics and Program Equivalence. APPSEM (2000)