| Computer programming - 1991 - 378 pages
...William Clinger, Daniel P. Friedman, and Mitchell Wand. A scheme for higher-level semantic algebra. In Maurice Nivat and John C. Reynolds, editors, Algebraic Methods in Semantics, pages 237-250. Cambridge University Press, Cambridge, 1985. [5] Eric C. Cooper. An overview of the... | |
| Hélène Kirchner, Giorgio Levi - Computers - 1992 - 476 pages
...Manchester, UK, July 1991. Springer- Verlag. 3. G. Boudol. Computational semantics of term rewriting systems. In Maurice Nivat and John C. Reynolds, editors, Algebraic methods in semantics, chapter 5. Cambridge University Press, Cambridge, UK, 1985. 4. LG Bouma and HR Walters. Implementing... | |
| Computer programming - 1995 - 422 pages
...objektorientierter Programme mit LEGO. Studienarbeit, Universitat Erlangen, 1994. To appear. [22] Frank J. Oles. Type algebras, functor categories, and block structure....Methods in Semantics. Cambrige University Press, 1985. [23] Benjamin C. Pierce. Bounded quantification is undecidable. Information and Computation, 1 12(1):131-165,... | |
| |