John C. Mitchell. Foundations of programming languages. MIT Press, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) Self-citation (Mitchell) (Correct)
No context found.
J.C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
XML Type Checking Using High-Level Tree Transducer - Tozawa (2006) (Correct)
No context found.
John C. Mitchell. Foundations of programming languages. MIT Press, 1996.
Enforcing Resource Bounds via - Static Verification Of (Correct)
No context found.
Mitchell, J. C. 1996. Foundations for Programming Languages. MIT Press.
Behavioural Equivalence and Indistinguishability in Higher-Order .. - Katsumata (2003) (Correct)
No context found.
J. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
Complete Lax Logical Relations for Cryptographic.. - Goubault-Larrecq.. (2004) (Correct)
No context found.
J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1985.
A Generalisation of Pre-logical Predicates to Simply Typed.. - Katsumata (Correct)
No context found.
J. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
Compositional Characterisations of λ-terms.. -.. (2005) (Correct)
No context found.
J. Mitchell. Foundations for Programming Languages. MIT Press, Boston, 1996.
Beta-Reduction As Unification - Kfoury (1996) (8 citations) (Correct)
No context found.
Mitchell, J.C., Foundations for Programming Languages, MIT Press, 1996.
Restricted intersection type assignment systems and object.. - de'Liguoro (2002) (Correct)
No context found.
J.C. Mitchell, Foundations for Programming Languages, MIT Press, 1996.
Modular Formal Frameworks for Module Systems - Ancona (1998) (5 citations) (Correct)
No context found.
J. C. Mitchell. Foundations for Programming Languages. The MIT Press, 1996.
Subtyping in Logical Form - de'Liguoro (2003) (Correct)
No context found.
J.C. Mitchell, Foundations for Programming Languages, MIT Press, 1996. 16
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
No context found.
John C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
Full Abstraction, Totality and PCF - Plotkin (1997) (2 citations) (Correct)
No context found.
J. Mitchell, Foundations for Programming Languages, Cambridge: MIT Press, 1996.
A Formal Calculus for Categories - Caccamo (2003) (Correct)
No context found.
John C. Mitchell. Foundations of Programming Languages. Foundations of Computing. The MIT Press, 1996.
Deciding Isomorphisms of Simple Types in Polynomial Time - Considine (2000) (3 citations) (Correct)
No context found.
John C. Mitchell. Foundations for Programming Languages. The MIT Press, London, 1996.
Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (7 citations) (Correct)
No context found.
J. C. Mitchell, Foundations for Programming Languages, The MIT Press, 1996.
Complete Lax Logical Relations for Cryptographic Lambda-Calculi - Goubault-Larrecq (2004) (Correct)
No context found.
J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1985.
A Tool for Writing and Debugging Algebraic Specifications - Henkel, Diwan (2004) (1 citation) (Correct)
No context found.
J. C. Mitchell. Foundations of Programming Languages. MIT Press, 1996.
Subset Types and Partial Functions - Stump (2003) (Correct)
No context found.
J. Mitchell. Foundations for Programming Languages. The MIT Press, 1996.
XML Types for C - Erik Meijer Clr (Correct)
No context found.
John C. Mitchell, Foundations for Programming Languages, MIT Press, 1996, Cambridge, Massachusetts.
Dynamic Security Labels and Noninterference - Zheng, Myers (2004) (4 citations) (Correct)
No context found.
John C. Mitchell. Foundations for Programming Languages. The MIT Press, Cambridge, Massachusetts, 1996.
A Formal Calculus for Categories - Caccamo (2003) (Correct)
No context found.
John C. Mitchell. Foundations of Programming Languages. Foundations of Computing. The MIT Press, 1996.
Complete Lax Logical Relations for Cryptographic.. - Goubault-Larrecq.. (2004) (Correct)
No context found.
J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1985.
Ownership Transfer and Abstraction - Banerjee, Naumann (2003) (Correct)
No context found.
John C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
Type-Based Useless-Variable Elimination - Naoki Kobayashi Koba (1999) (11 citations) (Correct)
No context found.
Mitchell, J. C.: 1996, Foundations for Programming Languages. The MIT Press.
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