APPSEM 2000: Caminha, Portugal

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva (Eds.): Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures. Lecture Notes in Computer Science 2395 Springer 2002, ISBN 3-540-44044-5 BibTeX

@proceedings{DBLP:conf/ac/2000appsem,
  editor    = {Gilles Barthe and
               Peter Dybjer and
               Luis Pinto and
               Jo{\~a}o Saraiva},
  title     = {Applied Semantics, International Summer School, APPSEM 2000,
               Caminha, Portugal, September 9-15, 2000, Advanced Lectures},
  booktitle = {APPSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2395},
  year      = {2002},
  isbn      = {3-540-44044-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Gilles Barthe, Thierry Coquand:
An Introduction to Dependent Type Theory. 1-41
Electronic Edition (Springer LINK) BibTeX
Nick Benton, John Hughes, Eugenio Moggi:
Monads and Effects. 42-122
Electronic Edition (Springer LINK) BibTeX
Pierre-Louis Curien:
Abstract Machines, Control, and Sequents. 123-136
Electronic Edition (Springer LINK) BibTeX
Peter Dybjer, Andrzej Filinski:
Normalization and Partial Evaluation. 137-192
Electronic Edition (Springer LINK) BibTeX
Abbas Edalat, Reinhold Heckmann:
Computing with Real Numbers. 193-267
Electronic Edition (Springer LINK) BibTeX
Cédric Fournet, Georges Gonthier:
The Join Calculus: A Language for Distributed Mobile Programming. 268-332
Electronic Edition (Springer LINK) BibTeX
Martin Odersky:
An Introduction to Functional Nets. 333-377
Electronic Edition (Springer LINK) BibTeX
Andrew M. Pitts:
Operational Semantics and Program Equivalence. 378-412
Electronic Edition (Springer LINK) BibTeX
Didier Rémy:
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. 413-536
Electronic Edition (Springer LINK) BibTeX