Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
No context found.
Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
No context found.
Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
No context found.
Carl A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. MIT Press, 1992.
Normal Forms and Conservative Extension Properties for Query.. - Wong (1995) (4 citations) (Correct)
No context found.
C. A. Gunter, "Semantics of Programming Languages: Structures and Techniques," Foundations of Computing, MIT Press, Cambridge, Massachusetts, 1992. 22
TinkerType: A Language for Playing with Formal Systems - Levin, Pierce (2000) (2 citations) (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. The MIT Press, Cambridge, MA, 1992.
Local Properties of Query Languages - Guozhu Dong Dept (1997) (13 citations) (Correct)
No context found.
C. A. Gunter, Semantics of Programming Languages: Structures and Techniques. MIT Press, 1992.
A Denotational Semantics for Deliberation Dialogues - McBurney, Parsons (2004) (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, MA, 1992.
From Process Logic to Program Logic - Honda (2004) (Correct)
No context found.
Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
Nominal Unification - Urban, Pitts, Gabbay (2004) (5 citations) (Correct)
No context found.
C. A. Gunter, Semantics of Programming Languages: Structures and Techniques, Foundations of Computing, MIT Press, 1992.
The Semantics of Spectrum - Radu Grosu And (1994) (3 citations) (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, 1992.
Subtyping Recursive Types in Kernel Fun - Colazzo, Ghelli (1999) (2 citations) (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. The MIT Press, 1992.
Basic theory of F-bounded quantification - Baldan, Ghelli, Raffaetà (1999) (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. The MIT Press, 1992.
Nominal Unification - Christian Urban Andrew (2003) (5 citations) (Correct)
No context found.
C. A. Gunter, Semantics of Programming Languages: Structures and Techniques, Foundations of Computing, MIT Press, 1992.
Unknown - (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. MIT Press, 1992.
Positive Subtyping - Hofmann, Pierce (1994) (4 citations) (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, MA, 1992.
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
Unknown - Http Virtualgoods Tu-Ilmenau (2003) (Correct)
No context found.
C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, 1992.
The Theory of Timed I/O Automata - Kaynar, Lynch, Segala, Vaandrager (2003) (Correct)
No context found.
C.A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, Massachusetts, 1992.
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
No context found.
Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
No context found.
Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
No context found.
Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
On Characterizations of the Basic Feasible Functionals Part II - Irwin, Kapron, Royer (2002) (1 citation) (Correct)
No context found.
C. Gunter, Semantics of programming languages: Structures and techniques, MIT Press, 1992.
Playful, Streamlike Computation - Curien (2003) (Correct)
No context found.
C. Gunter, Semantics of programming languages: structures and techniques, MIT Press (1992).
Game Semantics and Subtyping - Chroboczek (2003) (2 citations) (Correct)
No context found.
Carl A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. The MIT Press, 1992.
The Definition of the NSP Type System - Draheim, Fehr, Weber (2002) (Correct)
No context found.
Gunter, C.A.: Semantics of Programming Languages - Structures and Techniques. The MIT Press, 1992.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC