Abstract is missing.
- An Introduction to Dependent Type TheoryGilles Barthe, Thierry Coquand. 1-41 [doi]
- Monads and EffectsNick Benton, John Hughes, Eugenio Moggi. 42-122 [doi]
- Abstract Machines, Control, and SequentsPierre-Louis Curien. 123-136 [doi]
- Normalization and Partial EvaluationPeter Dybjer, Andrzej Filinski. 137-192 [doi]
- Computing with Real NumbersAbbas Edalat, Reinhold Heckmann. 193-267 [doi]
- The Join Calculus: A Language for Distributed Mobile ProgrammingCédric Fournet, Georges Gonthier. 268-332 [doi]
- An Introduction to Functional NetsMartin Odersky. 333-377 [doi]
- Operational Semantics and Program EquivalenceAndrew M. Pitts. 378-412 [doi]
- Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice VersaDidier Rémy. 413-536 [doi]