Applied semantics:International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
Springer,
|
Publisher Address: | Berlin New York |
Publication Dates: | c2002. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 2395 |
Subjects: | |
Carrier Form: | vi, 536 p.: ; 24 cm. |
Publication Frequency: | Also available via the World Wide Web. |
ISBN: | 3540440445 (softcover : alk. paper) |
Index Number: | TP312 |
CLC: | TP312-532 |
Call Number: | TP312-532/A652/2000 |
Contents: |
Based on materials presented at the international summer school on applied semantics that took place in Caminha, Portugal, in September 2000. Includes bibliographical references and index. An introduction to dependent type theory / Gilles Barthe and Thierry Coquand -- Monads and effects / Nick Benton, John Hughes, and Eugenio Moggi -- Abstract machines, control, and sequents / Pierre-Louis Curien -- Normalization and partial evaluation / Peter Dybjer and Andrzej Filinski -- Computing with real numbers / Abbas Edalat and Reinhold Heckmann -- The join calculus : a language for distributed mobile programming / Cédric Fournet and Georges Gonthier -- An introduction to functional nets / Martin Odersky -- Operational semantics and program equivalence / Andrew M. Pitts -- Using, understanding, and unraveling the OCaml language / Didier Rëmy. |