John C. Mitchell

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

A Learning-Based Approach to Reactive Security.

[BibT_eX]

[DOI]

Benjamin I. P. Rubinstein

IEEE Trans. Dependable Secur. Comput., 2012

Privacy and Cybersecurity: The Next 100 Years.

[BibT_eX]

[DOI]

Proc. IEEE, 2012

Information-flow control for programming on encrypted data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

SessionJuggler: secure web login from an untrusted terminal using session hijacking.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference 2012, 2012

Third-Party Web Tracking: Policy and Technology.

[BibT_eX]

[DOI]

Jonathan R. Mayer

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Declarative privacy policy: finite models and attribute-based encryption.

[BibT_eX]

[DOI]

Proceedings of the ACM International Health Informatics Symposium, 2012

Addressing covert termination and timing channels in concurrent information flow systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Security Modeling and Analysis.

[BibT_eX]

[DOI]

Jason Bau

IEEE Secur. Priv., 2011

A Domain-Specific Language for Computing on Encrypted Data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

A Symbolic Logic with Exact Bounds for Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information and Computation, 2011

Automated Analysis of Security-Critical JavaScript APIs.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

The Failure of Noise-Based Non-continuous Audio Captchas.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Program Analysis for Web Security.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 18th International Symposium, 2011

Disjunction Category Labels.

[BibT_eX]

[DOI]

Proceedings of the Information Security Technology for Applications, 2011

TBA : A Hybrid of Logic and Extensional Access Control Systems.

[BibT_eX]

[DOI]

Timothy L. Hinrichs

William C. Garrison III

Adam J. Lee

Skip Saunders

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Flexible dynamic information flow control in Haskell.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

A Domain-Specific Language for Computing on Encrypted Data (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs.

[BibT_eX]

[DOI]

Baptiste Gourdin

Proceedings of the Computer Security - ESORICS 2011, 2011

Text-based CAPTCHA strengths and weaknesses.

[BibT_eX]

[DOI]

Matthieu Martin

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Protocol Composition Logic.

[BibT_eX]

[DOI]

Anupam Datta

Arnab Roy

Stephan Hyeonjun Stiller

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

Inductive trace properties for computational security.

[BibT_eX]

[DOI]

J. Comput. Secur., 2010

A Security Evaluation of DNSSEC with NSEC3.

[BibT_eX]

[DOI]

Jason Bau

IACR Cryptol. ePrint Arch., 2010

Privacy Challenges in Patient-centric Health Information Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st USENIX Workshop on Health Security and Privacy, 2010

Webseclab Security Education Workbench.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Cyber Security Experimentation and Test, 2010

Homogeneity as an Advantage: It Takes a Community to Protect an Application.

[BibT_eX]

[DOI]

Proceedings of the 2010 Workshop on Collaborative Methods for Security and Privacy, 2010

Object Capabilities and Isolation of Untrusted Web Applications.

[BibT_eX]

[DOI]

Sergio Maffeis

Ankur Taly

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

State of the Art: Automated Black-Box Web Application Vulnerability Testing.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Towards a Formal Foundation of Web Security.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Securing frame communication in browsers.

[BibT_eX]

[DOI]

Collin Jackson

Commun. ACM, 2009

A Formalization of HIPAA for a Medical Messaging System.

[BibT_eX]

[DOI]

Peifung E. Lam

Sharada Sundaram

Proceedings of the Trust, 2009

Practical declarative network management.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCOMM 2009 Workshop on Research on Enterprise Networking, 2009

Isolating JavaScript with Filters, Rewriting, and Wrappers.

[BibT_eX]

[DOI]

Sergio Maffeis

Ankur Taly

Proceedings of the Computer Security, 2009

09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Design of Trustworthy Health Information Systems, 11.02., 2009

Using Strategy Objectives for Network Security Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - 5th International Conference, 2009

TrackBack spam: abuse and prevention.

[BibT_eX]

[DOI]

Peifung E. Lam

Proceedings of the first ACM Cloud Computing Security Workshop, 2009

2008

Characterizing Bots' Remote Control Behavior.

[BibT_eX]

[DOI]

Elizabeth Stinson

Proceedings of the Botnet Detection: Countering the Largest Security Threat, 2008

On the Relationships between Notions of Simulation-Based Security.

[BibT_eX]

[DOI]

J. Cryptol., 2008

An Automated Approach for Proving PCL Invariants.

[BibT_eX]

[DOI]

Arnab Roy

Mukund Sundararajan

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods.

[BibT_eX]

[DOI]

Elizabeth Stinson

Proceedings of the 2nd USENIX Workshop on Offensive Technologies, 2008

A Layered Architecture for Detecting Malicious Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008

Robust defenses for cross-site request forgery.

[BibT_eX]

[DOI]

Collin Jackson

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

An Operational Semantics for JavaScript.

[BibT_eX]

[DOI]

Sergio Maffeis

Ankur Taly

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

Analysis of EAP-GPSK Authentication Protocol.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 6th International Conference, 2008

2007

Inductive Proof Method for Computational Secrecy.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

Protocol Composition Logic (PCL).

[BibT_eX]

[DOI]

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Transaction Generators: Root Kits for Web.

[BibT_eX]

[DOI]

Collin Jackson

Dan Boneh

Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.

[BibT_eX]

[DOI]

Arnab Roy

Anupam Datta

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Inductive Proofs of Computational Secrecy.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2007

Characterizing Bots' Remote Control Behavior.

[BibT_eX]

[DOI]

Elizabeth Stinson

Proceedings of the Detection of Intrusions and Malware, 2007

Privacy and Utility in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Compositional analysis of contract-signing protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Understanding SPKI/SDSI using first-order logic.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2006

Key Exchange Protocols: Security Definition, Proof Method and Applications.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Protecting browser state from web privacy attacks.

[BibT_eX]

[DOI]

Proceedings of the 15th international conference on World Wide Web, 2006

Privacy and Contextual Integrity: Framework and Applications.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

Managing Digital Rights using Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Computationally Sound Compositional Logic for Key Exchange Protocols.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Secrecy Analysis in Protocol Composition Logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

2005

Contract signing, optimism, and advantage.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2005

A derivation system and compositional logic for security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2005

Beyond proof-of-compliance: security analysis in trust management.

[BibT_eX]

[DOI]

J. ACM, 2005

Games and the Impossibility of Realizable Ideal Functionality.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

Stronger Password Authentication Using Browser Extensions.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Security analysis of network protocols: logical and computational methods.

[BibT_eX]

[DOI]

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Enterprise privacy promises and enforcement.

[BibT_eX]

[DOI]

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Security Analysis and Improvements for IEEE 802.11i.

[BibT_eX]

[DOI]

Changhua He

Proceedings of the Network and Distributed System Security Symposium, 2005

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

A modular correctness proof of IEEE 802.11i and TLS.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Multiset rewriting and the complexity of bounded security protocols.

[BibT_eX]

[DOI]

Nancy A. Durgin

J. Comput. Secur., 2004

Reconstructing Trust Management.

[BibT_eX]

[DOI]

Ajay Chander

Drew Dean

J. Comput. Secur., 2004

Analysis of the 802.11i 4-way handshake.

[BibT_eX]

[DOI]

Changhua He

Proceedings of the 2004 ACM Workshop on Wireless Security, 2004

Conflict and combination in privacy policy languages.

[BibT_eX]

[DOI]

Justin Rosenstein

Proceedings of the 2004 ACM Workshop on Privacy in the Electronic Society, 2004

Client-Side Defense Against Web-Based Identity Theft.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2004

A Distributed High Assurance Reference Monitor.

[BibT_eX]

[DOI]

Ajay Chander

Drew Dean

Proceedings of the Information Security, 7th International Conference, 2004

Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2004

Abstraction and Refinement in Protocol Derivation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Securing Java RMI-Based Distributed Applications.

[BibT_eX]

[DOI]

Derrick Tong

Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003

Security by typing.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

Distributed Credential Chain Discovery in Trust Management.

[BibT_eX]

[DOI]

J. Comput. Secur., 2003

A Compositional Logic for Proving Security Properties of Protocols.

[BibT_eX]

[DOI]

Nancy A. Durgin

Dusko Pavlovic

J. Comput. Secur., 2003

A Type System for the Java Bytecode Language and Verifier.

[BibT_eX]

[DOI]

J. Autom. Reason., 2003

Specifying and Verifying Hardware for Tamper-Resistant Software.

[BibT_eX]

[DOI]

David Lie

Chandramohan A. Thekkath

Mark Horowitz

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

DATALOG with Constraints: A Foundation for Trust Management Languages.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

A Role-based Trust-management Framework.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

A Derivation System for Security Protocols and its Logical Formalization.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.

[BibT_eX]

[DOI]

Paulo Mateus

Proceedings of the CONCUR 2003, 2003

Secure protocol composition.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

Relating cryptography and formal methods: a panel.

[BibT_eX]

[DOI]

Michael Backes

Catherine Meadows

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

Concepts in programming languages.

[BibT_eX]

Cambridge University Press, ISBN: 978-0-521-78098-8, 2003

2002

Finite-state analysis of two contract signing protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Design of a Role-Based Trust-Management Framework.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Multiset Rewriting and Security Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Autonomous Nodes and Distributed Mechanisms.

[BibT_eX]

[DOI]

Vanessa Teague

Proceedings of the Software Security -- Theories and Systems, 2002

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Security -- Theories and Systems, 2002

2001

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Programming language methods in computer security.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2001

A Compositional Logic for Protocol Correctness.

[BibT_eX]

[DOI]

Nancy A. Durgin

Dusko Pavlovic

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

A State-Transition Model of Trust Management and Access Control.

[BibT_eX]

[DOI]

Ajay Chander

Drew Dean

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

Distributed credential chain discovery in trust management: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the CCS 2001, 2001

2000

Analysis of a Fair Exchange Protocol.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2000

Analysis of Abuse-Free Contract Signing.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 2000

Relating Strands and Multiset Rewriting for Security Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

Architectural Support for Copy and Tamper Resistant Software.

[BibT_eX]

[DOI]

David Lie

Chandramohan A. Thekkath

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1999

The type system for object initializatiion in the Jave bytecode language.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

Optimization Complexity of Linear Logic Proof Games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Parametricity and Variants of Girard's <i>J</i> Operator.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1999

A Core Calculus of Classes and Objects.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

A Formal Framework for the Java Bytecode Language and Verifier.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Probabilistic Polynomial-Time Equivalence and Security Analysis.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

A Meta-Notation for Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

On the Relationship Between Classes, Objects, and Data Abstraction.

[BibT_eX]

Theory Pract. Object Syst., 1998

Finite-State Analysis of SSL 3.0.

[BibT_eX]

[DOI]

Ulrich Stern

Proceedings of the 7th USENIX Security Symposium, 1998

A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time.

[BibT_eX]

[DOI]

Mark Mitchell

Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

A Probabilistic Poly-Time Framework for Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the CCS '98, 1998

Finite-State Analysis of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

The analysis of programming structure.

[BibT_eX]

[DOI]

Jon G. Riecke

SIGACT News, 1997

A Type System For Object Initialization In the Java Bytecode Language.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Automated analysis of cryptographic protocols using Mur-phi.

[BibT_eX]

[DOI]

Mark Mitchell

Ulrich Stern

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Adding Type Parameterization to the Java Language.

[BibT_eX]

[DOI]

Ole Agesen

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1996

Standard ML-NJ Weak Polymorphism and Imperative Constructs.

[BibT_eX]

[DOI]

Ramesh Viswanathan

Inf. Comput., 1996

The Complexity of Local Proof Search in Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

ML and Beyond.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Strategic Directions in Software Engineering and Programming Languages.

[BibT_eX]

[DOI]

Carl A. Gunter

David Notkin

ACM Comput. Surv., 1996

Linear logic proof games and optimization.

[BibT_eX]

[DOI]

Bull. Symb. Log., 1996

Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).

[BibT_eX]

[DOI]

Ramesh Viswanathan

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

Foundations for programming languages.

[BibT_eX]

Foundation of computing series, MIT Press, ISBN: 978-0-262-13321-0, 1996

1995

The Development of Type Systems for Object-Oriented Languages.

[BibT_eX]

Theory Pract. Object Syst., 1995

Lower Bounds on Type Inference with Subtypes.

[BibT_eX]

[DOI]

My Hoang

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

A Delegation-based Object Calculus with Subtying.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

A lambda Calculus of Objects and Method Specialization.

[BibT_eX]

Furio Honsell

Nord. J. Comput., 1994

An Extension of System F with Subtyping

[BibT_eX]

[DOI]

Inf. Comput., 1994

Notes on Typed Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

A Type System for Prototyping Languages.

[BibT_eX]

[DOI]

Dinesh Katiyar

David C. Luckham

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Polymorphism and Subtyping in Interfaces.

[BibT_eX]

[DOI]

Dinesh Katiyar

David C. Luckham

Proceedings of the Workshop on Interface Definition Languages, 1994

1993

On the Type Structure of Standard ML.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1993

On Abstraction and the Expressive Power of Programming Languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1993

Type Inference with Extended Pattern Matching and Subtypes.

[BibT_eX]

Lalita Jategaonkar

Fundam. Informaticae, 1993

Standard ML-NJ weak polymorphism and imperative constructs

[BibT_eX]

[DOI]

My Hoang

Ramesh Viswanathan

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992

Decision Problems for Propositional Linear Logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1992

Algorithmic Aspects of Type Inference with Subtypes.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.

[BibT_eX]

[DOI]

Kim B. Bruce

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Operational aspects of linear lambda calculus

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Notes on Sconing and Relators.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Operations on Records.

[BibT_eX]

[DOI]

Luca Cardelli

Math. Struct. Comput. Sci., 1991

Type Inference With Simple Subtypes.

[BibT_eX]

[DOI]

J. Funct. Program., 1991

Kripke-Style Models for Typed lambda Calculus.

[BibT_eX]

[DOI]

Eugenio Moggi

Ann. Pure Appl. Log., 1991

An Extension of Standard ML Modules with Subtyping and Inheritance.

[BibT_eX]

[DOI]

Sigurd Meldal

Neel Madhav

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Connecting Formal Semantics to Constructive Intuitions.

[BibT_eX]

[DOI]

Stuart A. Kurtz

Michael J. O'Donnell

Proceedings of the Constructivity in Computer Science, 1991

On the Equivalence of Data Representations.

[BibT_eX]

[DOI]

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

Unification and ML-Type Reconstruction.

[BibT_eX]

Paris C. Kanellakis

Harry G. Mairson

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

The Semantics of Second-Order Lambda Calculus

[BibT_eX]

[DOI]

Kim B. Bruce

Inf. Comput., March, 1990

Toward a Typed Foundation for Method Specialization and Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Higher-Order Modules and the Phase Distinction.

[BibT_eX]

[DOI]

Eugenio Moggi

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Operational and Axiomatic Semantics of PCF.

[BibT_eX]

[DOI]

Brian T. Howard

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

Type Systems for Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

Polymorphic Unification and ML Typing.

[BibT_eX]

[DOI]

Paris C. Kanellakis

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

F-Bounded Polymorphism for Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Abstract Types Have Existential Type.

[BibT_eX]

[DOI]

Gordon D. Plotkin

ACM Trans. Program. Lang. Syst., 1988

Polymorphic Type Inference and Containment

[BibT_eX]

[DOI]

Inf. Comput., 1988

The Essence of ML.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

ML with Extended Pattern Matching and Subtypes.

[BibT_eX]

[DOI]

Lalita Jategaonkar

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Empty Types in Polymorphic Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1986

Realisability Semantics for Error-Tolerant Logics.

[BibT_eX]

Michael J. O'Donnell

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Representation Independence and Data Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary).

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

Second-Order Logical Relations (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, 1985

1984

Lambda calculus models of typed programming languages.

[BibT_eX]

[DOI]

PhD thesis, 1984

On the Sequential Nature of Unification.

[BibT_eX]

[DOI]

Cynthia Dwork

Paris C. Kanellakis

J. Log. Program., 1984

Coercion and Type Inference.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Semantic Models for Second-Order Lambda Calculus

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

1983

The Implication Problem for Functional and Inclusion Dependencies

[BibT_eX]

[DOI]

Inf. Control., March, 1983

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability

[BibT_eX]

[DOI]

Inf. Control., 1983

Inference Rules for Functional and Inclusion Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

1982

Axiomatic Definability and Completeness for Recursive Programs.

[BibT_eX]

[DOI]