[-] Name Disambiguation results for 6 "John C. Mitchell": [Show all "John C. Mitchell"]

<
1 h-index:53 #papers:125
Department of Computer Science Stanford University
2 h-index:10 #papers:16
3 h-index:5 #papers:6
4 h-index:4 #papers:4
5 h-index:1 #papers:2
AT&T Bell Labs
6 h-index:0 #papers:2
>
[Edit]

John C. Mitchell [FOAF]  [Follow]

Position: Professor of Computer Science
Affiliation: Department of Computer Science Stanford University
Address: Department of Computer Science, Gates 476 Stanford University Stanford CA 94305-9045
Phone: (650) 723-8634
Fax: (650) 725-4671
Email:
Homepage: http://theory.stanford.edu/people/jcm/
[Edit]
Statistics: H-index: 53 (See all experts' h-index.)
total citation number: 10262
highest-cited paper: Abstract Types Have Existential Type (1988) at ACM Trans. Program. Lang. Syst. (Cited By 561)

Research Interest:

Security Analysis, Type System, Security Protocol Analysis, trust management, Type Inference

Show Temporal Interests (Do you want to see the change of his/her research interests?)

Education: [Edit]

Phd University: MIT
Master University: MIT
Bachelor University: Stanford University

National Science Foundation - US

[7] Collaborative Research: CT-M: Privacy, Compliance and Information Risk in Complex Organizational Processes (0831199), 2008-09-01 － 2009-08-31
[6] Collaborative research: High-Fidelity Methods for Security Protocols (0430594), 2004-10-01 － 2009-09-30
[5] Object Systems: Programming Languages and Software Security (9629754), 1996-09-15 － 2001-08-31
[4] Software Engineering and Programming Languages Workshop; June 12-13, 1996, Boston, MA (9612496), 1996-07-15 － 1996-12-31
[3] Programming Language Analysis and Design (9303099), 1993-07-15 － 1997-12-31
Show More:

Publications: [Edit disambiguation Result]

2009(6)
[125]Sergio Maffeis, John C. Mitchell, Ankur Taly. Isolating JavaScript with Filters, Rewriting, and Wrappers.  ESORICS'2009. pp.505~522    Cited By 9[Bibtex]
[124]Peifung E. Lam, John C. Mitchell, Sharada Sundaram. A Formalization of HIPAA for a Medical Messaging System.  TrustBus'2009. pp.73~85    Cited By 3[Bibtex]
[123]Adam Barth, Collin Jackson, John C. Mitchell. Securing frame communication in browsers. Commun. ACM, 2009: 83~91    Cited By 30[Bibtex]
[122]Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Xiaodong Song, Peter L. Bartlett. A Learning-Based Approach to Reactive Security. CoRR, 2009.     Cited By 1[Bibtex]
[121]John C. Mitchell, Arnab Roy, Mukund Sundararajan. An Automated Approach for Proving PCL Invariants. Electr. Notes Theor. Comput. Sci., 2009: 93~113   [Bibtex]
[120]Timothy L. Hinrichs, Natasha Gude, Martin Casado, John C. Mitchell, Scott Shenker. Practical declarative network management.  Computación y Sistemas'2009. pp.1~10    Cited By 3[Bibtex]
2008(8)
[119]John C. Mitchell, Arnab Roy, Paul Rowe, Andre Scedrov. Analysis of EAP-GPSK Authentication Protocol.  ACNS'2008. pp.309~327    Cited By 2[Bibtex]
[118]Sergio Maffeis, John C. Mitchell, Ankur Taly. An Operational Semantics for JavaScript.  APLAS'2008. pp.307~325    Cited By 22[Bibtex]
[117]Adam Barth, Collin Jackson, John C. Mitchell. Robust defenses for cross-site request forgery.  ACM Conference on Computer and Communications Security'2008. pp.75~88    Cited By 43[Bibtex]
[116]Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell. A Layered Architecture for Detecting Malicious Behaviors.  RAID'2008. pp.78~97    Cited By 20[Bibtex]
[115]Adam Barth, Collin Jackson, John C. Mitchell. Securing Frame Communication in Browsers.  USENIX Security Symposium'2008. pp.17~30    Cited By 30[Bibtex]
[114]Elizabeth Stinson, John C. Mitchell. Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods.  WOOT'2008.     Cited By 11[Bibtex]
[113]Ralf Kusters, Anupam Datta, John C. Mitchell, Ajith Ramanathan. On the Relationships between Notions of Simulation-Based Security. J. Cryptology, 2008: 492~546    Cited By 5[Bibtex]
[112]Elizabeth Stinson, John C. Mitchell. Characterizing Bots' Remote Control Behavior.  Botnet Detection, 2008: 45~64   [Bibtex]
2007(5)
[111]Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram. Privacy and Utility in Business Processes.  CSF'2007. pp.279~294    Cited By 19[Bibtex]
[110]Elizabeth Stinson, John C. Mitchell. Characterizing Bots' Remote Control Behavior.  DIMVA'2007. pp.89~108    Cited By 36[Bibtex]
[109]Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell. Inductive Proofs of Computational Secrecy.  ESORICS'2007. pp.219~234    Cited By 17[Bibtex]
[108]Arnab Roy, Anupam Datta, John C. Mitchell. Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.  TGC'2007. pp.312~329    Cited By 11[Bibtex]
[107]Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy. Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci., 2007: 311~358    Cited By 75[Bibtex]
2006(10)
[106]Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert. Secrecy Analysis in Protocol Composition Logic.  ASIAN'2006. pp.197~213    Cited By 27[Bibtex]
[105]Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi. Computationally Sound Compositional Logic for Key Exchange Protocols.  CSFW'2006. pp.321~334    Cited By 38[Bibtex]
[104]Adam Barth, John C. Mitchell. Managing Digital Rights using Linear Logic.  LICS'2006. pp.127~136    Cited By 8[Bibtex] [PDF]
[103]Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum. Privacy and Contextual Integrity: Framework and Applications.  IEEE Symposium on Security and Privacy'2006. pp.184~198    Cited By 60[Bibtex]
[102]Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov. Games and the Impossibility of Realizable Ideal Functionality.  TCC'2006. pp.360~379    Cited By 26[Bibtex]
[101]Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell. Protecting browser state from web privacy attacks.  WWW'2006. pp.737~744    Cited By 81[Bibtex]
[100]Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell. Protecting browser state from web privacy attacks.  WWW'2006. pp.737~744    Cited By 81[Bibtex]
[99]Ninghui Li, John C. Mitchell. Understanding SPKI/SDSI using first-order logic. Int. J. Inf. Sec., 2006: 48~64    Cited By 58[Bibtex] [PDF]
[98]Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. Compositional analysis of contract-signing protocols. Theor. Comput. Sci., 2006: 33~56    Cited By 25[Bibtex] [PDF]
[97]John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Theor. Comput. Sci., 2006: 118~164    Cited By 114[Bibtex]
2005(9)
[96]Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell. A modular correctness proof of IEEE 802.11i and TLS.  ACM Conference on Computer and Communications Security'2005. pp.2~15    Cited By 58[Bibtex]
[95]Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. Compositional Analysis of Contract Signing Protocols.  CSFW'2005. pp.94~110    Cited By 25[Bibtex] [PDF]
[94]Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani. Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.  ICALP'2005. pp.16~29    Cited By 74[Bibtex] [PDF]
[93]Changhua He, John C. Mitchell. Security Analysis and Improvements for IEEE 802.11i.  NDSS'2005.     Cited By 118[Bibtex] [PDF]
[92]Adam Barth, John C. Mitchell. Enterprise privacy promises and enforcement.  WITS'2005. pp.58~66    Cited By 29[Bibtex]
[91]Anupam Datta, Ralf Kusters, John C. Mitchell, Ajith Ramanathan. On the Relationships Between Notions of Simulation-Based Security.  TCC'2005. pp.476~494    Cited By 32[Bibtex]
[90]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic. A derivation system and compositional logic for security protocols. Journal of Computer Security, 2005: 423~482    Cited By 104[Bibtex]
[89]Ninghui Li, John C. Mitchell, William H. Winsborough. Beyond proof-of-compliance: security analysis in trust management. J. ACM, 2005: 474~514    Cited By 98[Bibtex]
[88]Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov. Contract signing, optimism, and advantage. J. Log. Algebr. Program., 2005: 189~218    Cited By 46[Bibtex] [PDF]
2004(8)
[87]Ninghui Li, John C. Mitchell, Derrick Tong. Securing Java RMI-Based Distributed Applications.  ACSAC'2004. pp.262~271    Cited By 6[Bibtex]
[86]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic. Abstraction and Refinement in Protocol Derivation.  CSFW'2004. pp.30~30    Cited By 33[Bibtex] [PDF]
[85]Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague. Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.  FoSSaCS'2004. pp.468~483    Cited By 52[Bibtex] [PDF]
[84]Ajay Chander, Drew Dean, John C. Mitchell. A Distributed High Assurance Reference Monitor.  ISC'2004. pp.231~244    Cited By 2[Bibtex] [PDF]
[83]Adam Barth, John C. Mitchell, Justin Rosenstein. Conflict and combination in privacy policy languages.  WPES'2004. pp.45~46    Cited By 31[Bibtex]
[82]Changhua He, John C. Mitchell. Analysis of the 802.11i 4-way handshake.  Workshop on Wireless Security'2004. pp.43~50    Cited By 82[Bibtex]
[81]Nancy A. Durgin, Patrick Lincoln, John C. Mitchell. Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security, 2004: 247~311   [Bibtex] [PDF]
[80]Ajay Chander, Drew Dean, John C. Mitchell. Reconstructing Trust Management. Journal of Computer Security, 2004: 131~164   [Bibtex] [PDF]
2003(14)
[79]Michael Backes, Catherine Meadows, John C. Mitchell. Relating cryptography and formal methods: a panel.  FMSE'2003. pp.61~66    Cited By 1[Bibtex]
[78]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic. Secure protocol composition.  FMSE'2003. pp.11~23    Cited By 53[Bibtex]
[77]Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov. Contract Signing, Optimism, and Advantage.  CONCUR'2003. pp.361~377    Cited By 46[Bibtex] [PDF]
[76]Paulo Mateus, John C. Mitchell, Andre Scedrov. Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.  CONCUR'2003. pp.323~345    Cited By 46[Bibtex] [PDF]
[75]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic. A Derivation System for Security Protocols and its Logical Formalization.  CSFW'2003. pp.109~125    Cited By 75[Bibtex] [PDF]
[74]Ninghui Li, John C. Mitchell. Understanding SPKI/SDSI Using First-Order Logic.  CSFW'2003. pp.89~89    Cited By 58[Bibtex] [PDF]
[73]Ninghui Li, John C. Mitchell. A Role-based Trust-management Framework.  DISCEX (1)'2003. pp.201~201   [Bibtex]
[72]Ninghui Li, John C. Mitchell. DATALOG with Constraints: A Foundation for Trust Management Languages.  PADL'2003. pp.58~73    Cited By 178[Bibtex] [PDF]
[71]Ninghui Li, William H. Winsborough, John C. Mitchell. Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management.  IEEE Symposium on Security and Privacy'2003. pp.123~139    Cited By 82[Bibtex] [PDF]
[70]David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz. Specifying and Verifying Hardware for Tamper-Resistant Software.  IEEE Symposium on Security and Privacy'2003. pp.166~166    Cited By 56[Bibtex] [PDF]
[69]Ninghui Li, William H. Winsborough, John C. Mitchell. Distributed Credential Chain Discovery in Trust Management. Journal of Computer Security, 2003: 35~86    Cited By 365[Bibtex] [PDF]
[68]Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic. A Compositional Logic for Proving Security Properties of Protocols. Journal of Computer Security, 2003: 677~722    Cited By 118[Bibtex] [PDF]
[67]Stephen N. Freund, John C. Mitchell. A Type System for the Java Bytecode Language and Verifier. J. Autom. Reasoning, 2003: 271~321    Cited By 43[Bibtex] [PDF]
[66]Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell. Security by typing. STTT, 2003: 472~495    Cited By 8[Bibtex]
2002(4)
[65]Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov. A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.  ISSS'2002. pp.356~383   [Bibtex] [PDF]
[64]John C. Mitchell, Vanessa Teague. Autonomous Nodes and Distributed Mechanisms.  ISSS'2002. pp.58~83    Cited By 11[Bibtex] [PDF]
[63]Ninghui Li, John C. Mitchell, William H. Winsborough. Design of a Role-Based Trust-Management Framework.  IEEE Symposium on Security and Privacy'2002. pp.114~130    Cited By 582[Bibtex]
[62]Vitaly Shmatikov, John C. Mitchell. Finite-state analysis of two contract signing protocols. Theor. Comput. Sci., 2002: 419~450    Cited By 100[Bibtex] [PDF]
2001(6)
[61]Ninghui Li, William H. Winsborough, John C. Mitchell. Distributed credential chain discovery in trust management: extended abstract.  ACM Conference on Computer and Communications Security'2001. pp.156~165    Cited By 365[Bibtex] [PDF]
[60]Ajay Chander, John C. Mitchell, Drew Dean. A State-Transition Model of Trust Management and Access Control.  CSFW'2001. pp.27~43   [Bibtex]
[59]Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic. A Compositional Logic for Protocol Correctness.  CSFW'2001. pp.241~241    Cited By 73[Bibtex] [PDF]
[58]John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.  LICS'2001. pp.3~8   [Bibtex]
[57]John C. Mitchell. Programming language methods in computer security.  POPL'2001. pp.1~3    Cited By 8[Bibtex]
[56]John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). Electr. Notes Theor. Comput. Sci., 2001.    [Bibtex]
2000(4)
[55]David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz. Architectural Support for Copy and Tamper Resistant Software.  ASPLOS'2000. pp.168~177    Cited By 383[Bibtex] [PDF]
[54]Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov. Relating Strands and Multiset Rewriting for Security Protocol Analysis.  CSFW'2000. pp.35~51   [Bibtex]
[53]Vitaly Shmatikov, John C. Mitchell. Analysis of Abuse-Free Contract Signing.  Financial Cryptography'2000. pp.174~191    Cited By 39[Bibtex]
[52]Vitaly Shmatikov, John C. Mitchell. Analysis of a Fair Exchange Protocol.  NDSS'2000.     Cited By 76[Bibtex] [PDF]
1999(7)
[51]Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov. A Meta-Notation for Protocol Analysis.  CSFW'1999. pp.55~69    Cited By 270[Bibtex]
[50]Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov. Probabilistic Polynomial-Time Equivalence and Security Analysis.  World Congress on Formal Methods'1999. pp.776~793    Cited By 45[Bibtex] [PDF]
[49]Stephen N. Freund, John C. Mitchell. A Formal Framework for the Java Bytecode Language and Verifier.  OOPSLA'1999. pp.147~166    Cited By 68[Bibtex] [PDF]
[48]Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov. A Core Calculus of Classes and Objects. Electr. Notes Theor. Comput. Sci., 1999.    [Bibtex]
[47]Robert Harper, John C. Mitchell. Parametricity and Variants of Girard's J Operator. Inf. Process. Lett., 1999: 1~5    Cited By 21[Bibtex]
[46]Patrick Lincoln, John C. Mitchell, Andre Scedrov. Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci., 1999: 299~331    Cited By 5[Bibtex] [PDF]
[45]Stephen N. Freund, John C. Mitchell. The type system for object initializatiion in the Jave bytecode language. ACM Trans. Program. Lang. Syst., 1999: 1196~1250   [Bibtex]
1998(3)
[44]Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov. A Probabilistic Poly-Time Framework for Protocol Analysis.  ACM Conference on Computer and Communications Security'1998. pp.112~121    Cited By 230[Bibtex] [PDF]
[43]John C. Mitchell, Mark Mitchell, Andre Scedrov. A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time.  FOCS'1998. pp.725~733    Cited By 51[Bibtex] [PDF]
[42]Stephen N. Freund, John C. Mitchell. A Type System for Object Initialization in the Java Bytecode Language.  OOPSLA'1998. pp.310~327    Cited By 194[Bibtex] [PDF]
1997(4)
[41]Ole Agesen, Stephen N. Freund, John C. Mitchell. Adding Type Parameterization to the Java Language.  OOPSLA'1997. pp.49~65    Cited By 217[Bibtex] [PDF]
[40]John C. Mitchell, Mark Mitchell, Ulrich Stern. Automated analysis of cryptographic protocols using Mur-phi.  IEEE Symposium on Security and Privacy'1997. pp.141~151   [Bibtex]
[39]Stephen N. Freund, John C. Mitchell. A Type System For Object Initialization In the Java Bytecode Language. Electr. Notes Theor. Comput. Sci., 1997.     Cited By 194[Bibtex] [PDF]
[38]Robert Harper, John C. Mitchell. ML and Beyond. SIGPLAN Notices, 1997: 80~85    Cited By 3[Bibtex]
1996(4)
[37]Patrick Lincoln, John C. Mitchell, Andre Scedrov. Linear logic proof games and optimization. Bulletin of Symbolic Logic, 1996: 322~338    Cited By 6[Bibtex]
[36]Carl A. Gunter, John C. Mitchell, David Notkin. Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv., 1996: 727~737    Cited By 20[Bibtex]
[35]Robert Harper, John C. Mitchell. ML and Beyond. ACM Comput. Surv., 1996: 219~219    Cited By 3[Bibtex]
[34]Patrick Lincoln, John C. Mitchell, Andre Scedrov. The Complexity of Local Proof Search in Linear Logic. Electr. Notes Theor. Comput. Sci., 1996.    [Bibtex]
1994(1)
[33]Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov. An Extension of System F with Subtyping. Inf. Comput., 1994: 4~56    Cited By 173[Bibtex] [PDF]
1993(2)
[32]Lalita Jategaonkar, John C. Mitchell. Type Inference with Extended Pattern Matching and Subtypes. Fundam. Inform., 1993: 127~165    Cited By 30[Bibtex]
[31]Robert Harper, John C. Mitchell. On the Type Structure of Standard ML. ACM Trans. Program. Lang. Syst., 1993: 211~252    Cited By 155[Bibtex] [PDF]
1992(5)
[30]John C. Mitchell, Andre Scedrov. Notes on Sconing and Relators.  CSL'1992. pp.352~378    Cited By 47[Bibtex]
[29]Patrick Lincoln, John C. Mitchell. Operational aspects of linear lambda calculus.  LICS'1992. pp.235~246    Cited By 69[Bibtex] [PDF]
[28]Patrick Lincoln, John C. Mitchell. Algorithmic Aspects of Type Inference with Subtypes.  POPL'1992. pp.293~304    Cited By 49[Bibtex]
[27]Kim B. Bruce, John C. Mitchell. PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.  POPL'1992. pp.316~327    Cited By 108[Bibtex]
[26]Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar. Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Logic, 1992: 239~311    Cited By 209[Bibtex] [PDF]
1991(4)
[25]Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell. Unification and ML-Type Reconstruction.  Computational Logic - Essays in Honor of Alan Robinson'1991. pp.444~478    Cited By 60[Bibtex] [PDF]
[24]Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov. An Extension of System F with Subtyping.  TACS'1991. pp.750~770    Cited By 173[Bibtex] [PDF]
[23]John C. Mitchell, Eugenio Moggi. Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Logic, 1991: 99~124    Cited By 102[Bibtex] [PDF]
[22]Luca Cardelli, John C. Mitchell. Operations on Records. Mathematical Structures in Computer Science, 1991: 3~48    Cited By 286[Bibtex] [PDF]
1990(3)
[21]Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar. Decision Problems for Propositional Linear Logic.  FOCS'1990. pp.662~671    Cited By 209[Bibtex] [PDF]
[20]Robert Harper, John C. Mitchell, Eugenio Moggi. Higher-Order Modules and the Phase Distinction.  POPL'1990. pp.341~354    Cited By 180[Bibtex] [PDF]
[19]Kim B. Bruce, Albert R. Meyer, John C. Mitchell. The Semantics of Second-Order Lambda Calculus. Inf. Comput., 1990: 76~134    Cited By 132[Bibtex]
1989(4)
[18]Luca Cardelli, John C. Mitchell. Operations in Records.  Category Theory and Computer Science'1989. pp.75~81   [Bibtex]
[17]Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell. F-Bounded Polymorphism for Object-Oriented Programming.  FPCA'1989. pp.273~280    Cited By 280[Bibtex] [PDF]
[16]Luca Cardelli, John C. Mitchell. Operations on Records.  Mathematical Foundations of Programming Semantics'1989. pp.22~52    Cited By 286[Bibtex] [PDF]
[15]Paris C. Kanellakis, John C. Mitchell. Polymorphic Unification and ML Typing.  POPL'1989. pp.105~115    Cited By 65[Bibtex]
1988(4)
[14]Lalita Jategaonkar, John C. Mitchell. ML with Extended Pattern Matching and Subtypes.  LISP and Functional Programming'1988. pp.198~211    Cited By 89[Bibtex]
[13]John C. Mitchell, Robert Harper. The Essence of ML.  POPL'1988. pp.28~46    Cited By 126[Bibtex] [PDF]
[12]John C. Mitchell. Polymorphic Type Inference and Containment. Inf. Comput., 1988: 211~249    Cited By 198[Bibtex]
[11]John C. Mitchell, Gordon D. Plotkin. Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst., 1988: 470~502    Cited By 561[Bibtex] [PDF]
1987(2)
[10]John C. Mitchell, Eugenio Moggi. Kripke-Style models for typed lambda calculus.  LICS'1987. pp.303~314    Cited By 102[Bibtex] [PDF]
[9]Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman. Empty Types in Polymorphic Lambda Calculus.  POPL'1987. pp.253~262    Cited By 26[Bibtex]
1986(1)
[8]John C. Mitchell. Representation Independence and Data Abstraction.  POPL'1986. pp.263~276    Cited By 62[Bibtex]
1985(2)
[7]John C. Mitchell, Albert R. Meyer. Second-Order Logical Relations (Extended Abstract).  Logic of Programs'1985. pp.225~236    Cited By 59[Bibtex]
[6]John C. Mitchell, Gordon D. Plotkin. Abstract Types Have Existential Type.  POPL'1985. pp.37~51    Cited By 561[Bibtex] [PDF]
1984(2)
[5]John C. Mitchell. Coercion and Type Inference.  POPL'1984. pp.175~185    Cited By 242[Bibtex]
[4]Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell. On the Sequential Nature of Unification. J. Log. Program., 1984: 35~50    Cited By 184[Bibtex]
1983(2)
[3]John C. Mitchell. Inference Rules for Functional and Inclusion Dependencies.  PODS'1983. pp.58~69    Cited By 33[Bibtex]
[2]Albert R. Meyer, John C. Mitchell. Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability. Information and Control, 1983: 112~138    Cited By 5[Bibtex]
1982(1)
[1]Albert R. Meyer, John C. Mitchell. Axiomatic Definability and Completeness for Recursive Programs.  POPL'1982. pp.337~346    Cited By 2[Bibtex]