×

zbMATH — the first resource for mathematics

Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9–15, 2000. Advanced lectures. (English) Zbl 0993.00046
Lecture Notes in Computer Science. 2395. Berlin: Springer. ix, 537 p. (2002).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually.
Indexed articles:
Barthe, Gilles; Coquand, Thierry, An introduction to dependent type theory, 1-41 [Zbl 1065.68025]
Benton, Nick; Hughes, John; Moggi, Eugenio, Monads and effects, 42-122 [Zbl 1065.68064]
Curien, Pierre-Louis, Abstract machines, control, and sequents, 123-136 [Zbl 1065.68065]
Dybjer, Peter; Filinski, Andrzej, Normalization and partial evaluation, 137-192 [Zbl 1065.68026]
Edalat, Abbas; Heckmann, Reinhold, Computing with real numbers. I. The LFT approach to real number computation. II. A domain framework for computational geometry., 193-267 [Zbl 1065.68053]
Fournet, Cédric; Gonthier, Georges, The join calculus: A language for distributed mobile programming, 268-332 [Zbl 1065.68071]
Odersky, Martin, An introduction to functional nets, 333-377 [Zbl 1065.68027]
Pitts, Andrew M., Operational semantics and program equivalence, 378-412 [Zbl 1065.68067]
Rémy, Didier, Using, understanding, and unraveling the OCaml language. From practice to theory and vice versa, 413-536 [Zbl 1065.68028]

MSC:
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q55 Semantics in the theory of computing
Software:
OCaml
PDF BibTeX XML Cite
Full Text: DOI