Publications

Default Folder
* Default Sub-Folder

Default Folder

Default Sub-Folder

* A Microcomputer-Based Geographic Information System, B. C. Pierce. In Proceedings of the Seventh West Coast Computer Faire, 1982.
* Gridapple: A Microcomputer-Based Geographic Information System, B. C. Pierce. In Harvard Computer Graphics Week, 1982.
* Programming with Views, A. N. Habermann and Charles Krueger and Benjamin Pierce and Barbara Staudt and John Wenn. Technical report, Carnegie Mellon University, Computer Science Department, 1988.
* A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables, Benjamin Pierce. Technical report, School of Computer Science, Carnegie Mellon University, 1989.
* Bounded Quantification and Intersection Types, Benjamin Pierce. Unpublished, 1989.
* Programming in Higher-order Typed Lambda-Calculi, Benjamin Pierce and Scott Dietzen and Spiro Michaylov. Technical report, Carnegie Mellon University, 1989.
* Extensible Records Without Subsumption, Robert W. Harper and Benjamin C. Pierce. Technical report, School of Computer Science, Carnegie Mellon University, 1990.
* Preliminary Investigation of a Calculus with Intersection and Union Types, Benjamin C. Pierce. Unpublished, 1990.
* A Record Calculus Based on Symmetric Concatenation, Robert Harper and Benjamin Pierce. In ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida, 1991.
* Dynamic Typing in a Statically Typed Language, Martín Abadi and Luca Cardelli and Benjamin Pierce and Gordon Plotkin. In ACM Transactions on Programming Languages and Systems, 1991.
* Faithful Ideal Models for Recursive Polymorphic Types, Martín Abadi and Benjamin Pierce and Gordon Plotkin. In International Journal of Foundations of Computer Science, 1991.
* Programming with Intersection Types, Union Types, and Polymorphism, Benjamin C. Pierce. Technical report, Carnegie Mellon University, 1991.
* Programming with Intersection Types and Bounded Polymorphism, Benjamin C. Pierce. PhD Thesis, Carnegie Mellon University., 1991.
* An Abstract View of Objects and Subtyping (Preliminary Report), Martin Hofmann and Benjamin Pierce. Technical report, University of Edinburgh, LFCS, 1992.
* Higher-Order Subtyping, Benjamin C. Pierce and Robert Pollack. Unpublished, 1992.
* A Model of Delegation Based on Existential Types, Benjamin C. Pierce. Unpublished, 1993.
* A Typed Higher-Order Programming Language Based on the Pi-Calculus, Benjamin C. Pierce and Didier Rémy and David N. Turner. In Workshop on Type Theory and its Application to Computer Systems, Kyoto University, 1993.
* F-Omega-Sub User's Manual, Version 1.4, Benjamin C. Pierce. Unpublished, 1993.
* Mutable Objects, Benjamin C. Pierce. Unpublished, 1993.
* Object-Oriented Programming Without Recursive Types, Benjamin C. Pierce and David N. Turner. In ACM Symposium on Principles of Programming Languages (POPL), Charleston, South Carolina, 1993.
* Object-Oriented Programming in Typed Lambda-Calculus: Exercises and Solutions, Benjamin Pierce. Unpublished, 1993.
* Statically Typed Friendly Functions via Partially Abstract Types, Benjamin C. Pierce and David N. Turner. Technical report, University of Edinburgh, LFCS, 1993.
* Typing and Subtyping for Mobile Processes, Benjamin C. Pierce and Davide Sangiorgi. In Logic in Computer Science, 1993.
* Bounded Quantification is Undecidable, Benjamin C. Pierce. In Information and Computation, 1994.
* Decidable Bounded Quantification, Giuseppe Castagna and Benjamin Pierce. In Proceedings of the Twenty-First ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon, 1994.
* Higher-Order Subtyping, Benjamin C. Pierce and Martin Steffen. In IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), 1994.
* Higher-Order Subtyping, Martin Steffen and Benjamin Pierce. Technical report, LFCS, University of Edinburgh, 1994.
* Positive Subtyping, Martin Hofmann and Benjamin Pierce. Technical report, LFCS, University of Edinburgh, 1994.
* Simple Type-Theoretic Foundations for Object-Oriented Programming, Benjamin C. Pierce and David N. Turner. In Journal of Functional Programming, 1994.
* Woggles from Oz: Writing Interactive Fiction, Benjamin C. Pierce. In Leonardo: Journal of the International Society for the Arts, Sciences, and Technology, 1994.
* A Unifying Type-Theoretic Framework for Objects, Martin Hofmann and Benjamin Pierce. In Journal of Functional Programming, 1995.
* Concurrent Objects in a Process Calculus, Benjamin C. Pierce and David N. Turner. In Theory and Practice of Parallel Programming (TPPP), Sendai, Japan (Nov. 1994), 1995.
* Corrigendum: Decidable Bounded Quantification, Giuseppe Castagna and Benjamin Pierce. In Proceedings of the Twenty-Second ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon, 1995.
* Dynamic Typing in Polymorphic Languages, Martín Abadi and Luca Cardelli and Benjamin Pierce and Didier Rémy. In Journal of Functional Programming, 1995.
* Positive Subtyping, Martin Hofmann and Benjamin Pierce. In ACM Symposium on Principles of Programming Languages (POPL), San Francisco, California, 1995.
* Comparing Object Encodings, Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce. In Invited lecture at Third Workshop on Foundations of Object Oriented Languages (FOOL 3), 1996.
* Decoding Choice Encodings, Uwe Nestmann and Benjamin C. Pierce. In Proceedings of CONCUR '96, 1996.
* Even simpler type-theoretic foundations for OOP, Benjamin C. Pierce. Unpublished, 1996.
* Foundational Calculi for Programming Languages, Benjamin C. Pierce. In Handbook of Computer Science and Engineering, 1996.
* Intersection Types and Multiple Inheritance, Adriana B. Compagnoni and Benjamin C. Pierce. In Mathematical Structures in Computer Science, 1996.
* Linearity and the Pi-Calculus, Naoki Kobayashi and Benjamin C. Pierce and David N. Turner. In ACM Symposium on Principles of Programming Languages (POPL), St. Petersburg Beach, Florida, 1996.
* Multiple Inheritance via Intersection Types, Adriana B. Compagnoni and Benjamin C. Pierce. In Mathematical Structures in Computer Science, 1996.
* On Binary Methods, Kim B. Bruce and Luca Cardelli and Giuseppe Castagna and the Hopkins Objects Group (Jonathan Eifrig, Scott Smith, Valery Trifonov) and Gary T. Leavens and Benjamin Pierce. In Theory and Practice of Object Systems, 1996.
* Types, Benjamin C. Pierce. Unpublished, 1996.
* Behavioral Equivalence in the Polymorphic Pi-Calculus, Benjamin Pierce and Davide Sangiorgi. In Principles of Programming Languages (POPL), 1997.
* Bounded Quantification with Bottom, Benjamin C. Pierce. Technical report, Computer Science Department, Indiana University, 1997.
* Comparing Object Encodings, Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce. In Theoretical Aspects of Computer Software (TACS), Sendai, Japan, 1997.
* Higher-Order Subtyping, Benjamin Pierce and Martin Steffen. In Theoretical Computer Science, 1997.
* Intersection Types and Bounded Polymorphism, Benjamin C. Pierce. In Mathematical Structures in Computer Science, 1997.
* Local Type Argument Synthesis with Bounded Quantification, Benjamin C. Pierce and David N. Turner. Technical report, Computer Science Department, Indiana University, 1997.
* Local Type Inference, Benjamin C. Pierce and David N. Turner. Technical report, Computer Science Department, Indiana University, 1997.
* Pict Language Definition, Benjamin C. Pierce and David N. Turner. Unpublished, 1997.
* Pict Libraries Manual, Benjamin C. Pierce and David N. Turner. Unpublished, 1997.
* Programming in the Pi-Calculus: A Tutorial Introduction to Pict, Benjamin C. Pierce. Unpublished, 1997.
* Review of A Theory of Objects, by Abadi and Cardelli, Benjamin C. Pierce. In The Computer Journal, 1997.
* Type Destructors, Martin Hofmann and Benjamin C. Pierce. Technical report, Computer Science Department, Indiana University, 1997.
* Bounded Existentials and Minimal Typing, Giorgio Ghelli and Benjamin Pierce. In Theoretical Computer Science, 1998.
* File Synchronization, S. Balasubramaniam and Benjamin C. Pierce. Technical report, Computer Science Department, Indiana University, 1998.
* Local Type Inference, Benjamin C. Pierce and David N. Turner. In ACM Symposium on Principles of Programming Languages (POPL), San Diego, California, 1998.
* Type Destructors, Martin Hofmann and Benjamin C. Pierce. In Informal proceedings of the Fourth International Workshop on Foundations of Object-Oriented Languages (FOOL), 1998.
* Union Types for Semistructured Data, Peter Buneman and Benjamin Pierce. In Internet Programming Languages, 1998.
* What is a file synchronizer?, S. Balasubramaniam and Benjamin C. Pierce. In Fourth Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom '98), 1998.
* Featherweight Java: A Minimal Core Calculus for Java and GJ, Atsushi Igarashi and Benjamin Pierce and Philip Wadler. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), 1999.
* Foundations for Virtual Types, Atsushi Igarashi and Benjamin C. Pierce. In European Conference on Object-Oriented Programming (ECOOP), 1999.
* How Good is Local Type Inference?, Haruo Hosoya and Benjamin C. Pierce. Technical report, University of Pennsylvania, 1999.
* Linearity and the Pi-Calculus, Naoki Kobayashi and Benjamin C. Pierce and David N. Turner. In ACM Transactions on Programming Languages and Systems, 1999.
* Location Independence for Mobile Agents, Peter Sewell and Pawel Wojciechowski and Benjamin Pierce. In Proceedings of ICCL '98, 1999.
* Location-Independent Communication for Mobile Agents: a Two-Level Architecture, Peter Sewell and Pawel T. Wojciechowski and Benjamin C. Pierce. Technical report, Computer Laboratory, University of Cambridge, 1999.
* TinkerType: A Language for Playing with Formal Systems, Michael Y. Levin and Benjamin C. Pierce. Technical report, Dept of CIS, University of Pennsylvania, 1999.
* Union Types for Semistructured Data, Peter Buneman and Benjamin Pierce. In Proceedings of the International Database Programming Languages Workshop, 1999.
* On Inner Classes, Atsushi Igarashi and Benjamin C. Pierce. In European Conference on Object-Oriented Programming (ECOOP), 2000.(new)
* On Inner Classes, Atsushi Igarashi and Benjamin C. Pierce. In Information and Computation, 2002.(new)
* Pict: A Programming Language Based on the Pi-Calculus, Benjamin C. Pierce and David N. Turner. In Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000.(new)
* Recursive Subtyping Revealed, Vladimir Gapeyev and Michael Levin and Benjamin Pierce. In Journal of Functional Programming, 2003.(new)
* Recursive Subtyping Revealed, Vladimir Gapeyev and Michael Levin and Benjamin Pierce. In International Conference on Functional Programming (ICFP), Montreal, Canada, 2000.(new)
* Regular Expression Types for XML, Haruo Hosoya and Jérôme Vouillon and Benjamin C. Pierce. In Proceedings of the International Conference on Functional Programming (ICFP), 2000.(new)
* XDuce: A Typed XML Processing Language (Preliminary Report), Haruo Hosoya and Benjamin C. Pierce. In International Workshop on the Web and Databases (WebDB), 2000.(new)
* A Recipe for Raw Types, Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler. In Workshop on Foundations of Object-Oriented Languages (FOOL), 2001.(new)
* Comparing Object Encodings, Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce. In Information and Computation, 1999.
* How to Build a File Synchronizer, Trevor Jim and Benjamin C. Pierce and Jérôme Vouillon. Unpublished, 2001.(new)
* Logical Relations for Encryption, Eijiro Sumii and Benjamin C. Pierce. In Computer Security Foundations Workshop, 2001.(new)
* Regular Expression Pattern Matching, Haruo Hosoya and Benjamin Pierce. In ACM Symposium on Principles of Programming Languages (POPL), London, England, 2001.(new)
* XDuce: A Statically Typed XML Processing Language, Haruo Hosoya and Benjamin C. Pierce. In ACM Transactions on Internet Technology, 2003.(new)
* The Cryptographic $\lambda$-Calculus: Syntax, Semantics, Type System and Logical Relation (in Japanese), Eijiro Sumii and Benjamin Pierce. In Informal Proceedings of JSSST Workshop on Programming and Programming Languages (PPL2001), 2001.(new)
* Regular Object Types, Vladimir Gapeyev and Benjamin C. Pierce. In European Conference on Object-Oriented Programming (ECOOP), 2003.(new)
* TinkerType: A Language for Playing with Formal Systems, Michael Y. Levin and Benjamin C. Pierce. In Journal of Functional Programming, 2003.(new)
* Unison: A File Synchronizer and its Specification, Benjamin C. Pierce and Jérôme Vouillon. Unpublished, 2001.(new)
* Unison: A File Synchronizer and its Specification, Benjamin C. Pierce and Jérôme Vouillon. Unpublished, 2001.(new)
* Lenses and View Update Translation, Benjamin C. Pierce and Alan Schmitt. Unpublished, 2003.(new)
* A Language for Bi-Directional Tree Transformations, Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt. Technical report, University of Pennsylvania, 2003.(new)
* A Language for Bi-Directional Tree Transformations, Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt. Unpublished, 2003.(new)
* Datatypes and Subtyping, Haruo Hosoya and Benjamin C. Pierce and David N. Turner. Unpublished.
* Behavioral equivalence in the polymorphic pi-calculus, Benjamin C. Pierce and Davide Sangiorgi. In Journal of the ACM, 2000.(new)


(xml) RSS feed