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.
Extensible Records Without Subsumption, Robert W. Harper and Benjamin C. Pierce. Technical report, School of Computer Science, Carnegie Mellon University, 1990.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Linearity and the Pi-Calculus, Naoki Kobayashi and Benjamin C. Pierce and David N.
Turner. In ACM Transactions on Programming Languages and Systems, 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.
On Inner Classes, Atsushi Igarashi and Benjamin C. Pierce. In Information and Computation, 2002.
Recursive Subtyping Revealed, Vladimir Gapeyev and Michael Levin and Benjamin Pierce. In Journal of Functional Programming, 2003.
Recursive Subtyping Revealed, Vladimir Gapeyev and Michael Levin and Benjamin Pierce. In International Conference on Functional Programming
(ICFP), Montreal, Canada, 2000.
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.
A Recipe for Raw Types, Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler. In Workshop on Foundations of Object-Oriented Languages
(FOOL), 2001.
Comparing Object Encodings, Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce. In Information and Computation, 1999.
Regular Expression Pattern Matching, Haruo Hosoya and Benjamin Pierce. In ACM Symposium on Principles of Programming
Languages (POPL), London, England, 2001.