Carl A. Gunter (gunter-ca)

Contributions to Philosophie.ch

Bibliography

Gunter, Carl A. 1992. Semantics of Programming Languages: Programming Techniques. Cambridge, Massachusetts: The MIT Press.
Gunter, Carl A. 1994. “The Semantics of Types in Programming Languages.” in Handbook of Logic in Computer Science. Volume 3. Semantic Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 395–476. Oxford: Oxford University Press.
Gunter, Carl A. and Mitchell, John C., eds. 1994. Theoretical Aspects of Object-Oriented Programming. Cambridge, Massachusetts: The MIT Press.
Gunter, Carl A., Ngair, Teow-Hin and Subramanian, Devika. 1997. “The Common Order-Theoretic Structure of Version Spaces and ATMSs.” Artificial Intelligence 95(2): 357–407.
Gunter, Carl A. and Scott, Dana S. 1990. “Semantic Domains.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 633–676. Cambridge, Massachusetts: The MIT Press.