Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Normal Forms and Conservative Extension Properties for Query.. - Wong (1995) (4 citations) (Correct)
TinkerType: A Language for Playing with Formal Systems - Levin, Pierce (2000) (2 citations) (Correct)
Local Properties of Query Languages - Guozhu Dong Dept (1997) (13 citations) (Correct)
A Denotational Semantics for Deliberation Dialogues - McBurney, Parsons (2004) (Correct)
From Process Logic to Program Logic - Honda (2004) (Correct)
Nominal Unification - Urban, Pitts, Gabbay (2004) (5 citations) (Correct)
The Semantics of Spectrum - Radu Grosu And (1994) (3 citations) (Correct)
Subtyping Recursive Types in Kernel Fun - Colazzo, Ghelli (1999) (2 citations) (Correct)
Basic theory of F-bounded quantification - Baldan, Ghelli, Raffaetà (1999) (Correct)
Nominal Unification - Christian Urban Andrew (2003) (5 citations) (Correct)
Unknown - (Correct)
Positive Subtyping - Hofmann, Pierce (1994) (4 citations) (Correct)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
Unknown - Http Virtualgoods Tu-Ilmenau (2003) (Correct)
The Theory of Timed I/O Automata - Kaynar, Lynch, Segala, Vaandrager (2003) (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
On Characterizations of the Basic Feasible Functionals Part II - Irwin, Kapron, Royer (2002) (1 citation) (Correct)
Playful, Streamlike Computation - Curien (2003) (Correct)
Game Semantics and Subtyping - Chroboczek (2003) (2 citations) (Correct)
The Definition of the NSP Type System - Draheim, Fehr, Weber (2002) (Correct)
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