Narrow search
Showing 1 - 8 of 8
Cover Image
Lambda-calculus and computer science theory : proceedings of the symposium held in Rome March 25 - 27, 1975
Böhm, Corrado (contributor) - 1975
Persistent link: https://www.econbiz.de/10004589206
Cover Image
Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2 - 4, 1979
Kahn, Gilles (contributor) - 1979
Persistent link: https://www.econbiz.de/10004689872
Cover Image
Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10 - 11 September, 1979
Tobias, Jeffrey M. (contributor) - 1980
Persistent link: https://www.econbiz.de/10004615518
Cover Image
Semantics directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980
Jones, Neil D. (contributor) - 1980
Persistent link: https://www.econbiz.de/10004026329
Cover Image
Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976
Williams, John H. (contributor) - 1977
Persistent link: https://www.econbiz.de/10004027247
Cover Image
Manhattan, Kansas, April 11 - 12, 1985
In: Mathematical foundations of programming semantics : … 239 (1986)
Persistent link: https://www.econbiz.de/10004034021
Cover Image
Language hierarchies and interfaces : international summer school
Bauer, Friedrich L. (contributor) - 1976
Persistent link: https://www.econbiz.de/10004856516
Cover Image
Methods of algorithmic language implementation
Eršov, Andrej P. (contributor) - 1977
Persistent link: https://www.econbiz.de/10004659454