Benjamin C. Pierce - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Contracts made manifestMichael Greenberg, Benjamin C. Pierce, Stephanie Weirich. POPL 2010: 353-364 [doi]

2009

2008

2007

PrefaceMatthew Flatt, Benjamin C. Pierce. JFP, 17(4-5):431, 2007. [doi]

A Logic Your Typechecker Can Count On: Unordered Tree Types in PracticeJ. Nathan Foster, Benjamin C. Pierce, Alan Schmitt. planX 2007: 80-90 [doi]

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problemJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt. TOPLAS, 29(3), 2007. [doi]

Exploiting schemas in data synchronizationJ. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt. jcss, 73(4):669-689, 2007. [doi]

A Formal Investigation ofSanjeev Khanna, Keshav Kunal, Benjamin C. Pierce. fsttcs 2007: 485-496 [doi]

Adventures in Bidirectional ProgrammingBenjamin C. Pierce. fsttcs 2007: 21-22 [doi]

A bisimulation for type abstraction and recursionEijiro Sumii, Benjamin C. Pierce. JACM, 54(5), 2007. [doi]

A bisimulation for dynamic sealingEijiro Sumii, Benjamin C. Pierce. TCS, 375(1-3):169-192, 2007. [doi]

2006

2005

Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005Olivier Danvy, Benjamin C. Pierce, editors, ACM, 2005.

Exploiting Schemas in Data SynchronizationJ. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt. DBPL 2005: 42-57 [doi]

Combinators for bi-directional tree transformations: a linguistic approach to the view update problemJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt. POPL 2005: 233-246 [doi]

XML Goes Native: Run-Time Representations for XtaticVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt. CC 2005: 43-58 [doi]

Regular expression types for XMLHaruo Hosoya, Jerome Vouillon, Benjamin C. Pierce. TOPLAS, 27(1):46-90, 2005. [doi]

Type-Based Optimization for Regular PatternsMichael Y. Levin, Benjamin C. Pierce. DBPL 2005: 184-198 [doi]

It Is Time to Mechanize Programming Language MetatheoryBenjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic. vstte 2008: 26-30 [doi]

Harmony: The Art of ReconciliationBenjamin C. Pierce. tgc 2005: 1 [doi]

A bisimulation for type abstraction and recursionEijiro Sumii, Benjamin C. Pierce. POPL 2005: 63-74 [doi]

2004

Guest editorialMartin Odersky, Benjamin C. Pierce. TOPLAS, 26(5):767-768, 2004. [doi]

A bisimulation for dynamic sealingEijiro Sumii, Benjamin C. Pierce. POPL 2004: 161-172 [doi]

2003

Regular Object TypesVladimir Gapeyev, Benjamin C. Pierce. ECOOP 2003: 151-175 [doi]

XDuce: A statically typed XML processing languageHaruo Hosoya, Benjamin C. Pierce. ACM Trans. Internet Techn., 3(2):117-148, 2003. [doi]

Regular expression pattern matching for XMLHaruo Hosoya, Benjamin C. Pierce. JFP, 13(6):961-1004, 2003. [doi]

Information and Computation special issue from TACS 2001Naoki Kobayashi, Benjamin C. Pierce. iandc, 186(2):163-164, 2003. [doi]

TinkerType: a language for playing with formal systemsMichael Y. Levin, Benjamin C. Pierce. JFP, 13(2):295-316, 2003. [doi]

Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised PapersMitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa, editors, Volume 2609 of Lecture Notes in Computer Science, Springer, 2003.

Types and Programming Languages: The Next GenerationBenjamin C. Pierce. lics 2003: 32 [doi]

Logical Relations for EncryptionEijiro Sumii, Benjamin C. Pierce. jcs, 11(4):521-554, 2003.

2002

Guest editorialKathleen Fisher, Benjamin C. Pierce. TOPLAS, 24(2):111, 2002. [doi]

Recursive subtyping revealedVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce. JFP, 12(6):511-548, 2002. [doi]

Type DestructorsMartin Hofmann, Benjamin C. Pierce. iandc, 172(1):29-62, 2002. [doi]

On Inner ClassesAtsushi Igarashi, Benjamin C. Pierce. iandc, 177(1):56-89, 2002. [doi]

Foundations for Virtual TypesAtsushi Igarashi, Benjamin C. Pierce. iandc, 175(1):34-49, 2002. [doi]

Types and Programming LanguagesBenjamin C. Pierce. MIT Press, Cambridge, Massachusetts, 2002.

2001

Regular expression pattern matching for XMLHaruo Hosoya, Benjamin C. Pierce. POPL 2001: 67-80 [doi]

Featherweight Java: a minimal core calculus for Java and GJAtsushi Igarashi, Benjamin C. Pierce, Philip Wadler. TOPLAS, 23(3):396-450, 2001. [doi]

Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, ProceedingsNaoki Kobayashi, Benjamin C. Pierce, editors, Volume 2215 of Lecture Notes in Computer Science, Springer, 2001.

Unison: A File Synchronizer and Its SpecificationBenjamin C. Pierce, Jérôme Vouillon. tacs 2001: 560 [doi]

2000

Recursive subtyping revealed: functional pearlVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce. ICFP 2000: 221-231 [doi]

Advanced module systems: a guide for the perplexed (abstract of invited talk)Robert Harper, Benjamin C. Pierce. ICFP 2000: 130 [doi]

Regular expression types for XMLHaruo Hosoya, Jerome Vouillon, Benjamin C. Pierce. ICFP 2000: 11-22 [doi]

XDuce: A Typed XML Processing Language (Preliminary Report)Haruo Hosoya, Benjamin C. Pierce. webdb 2001: 226-244 [doi]

XDuce: A Typed XML Processing Language (Preliminary Report)Haruo Hosoya, Benjamin C. Pierce. webdb 2001: 111-116 [doi]

On Inner ClassesAtsushi Igarashi, Benjamin C. Pierce. ECOOP 2000: 129-153 [doi]

Decoding Choice EncodingsUwe Nestmann, Benjamin C. Pierce. iandc, 163(1):1-59, 2000.

Pict: a programming language based on the Pi-CalculusBenjamin C. Pierce, David N. Turner. BIRTHDAY 2000: 455-494

Local type inferenceBenjamin C. Pierce, David N. Turner. TOPLAS, 22(1):1-44, 2000. [doi]

Behavioral equivalence in the polymorphic pi-calculusBenjamin C. Pierce, Davide Sangiorgi. JACM, 47(3):531-584, 2000. [doi]

1999

1998

1997

Comparing Object EncodingsKim B. Bruce, Luca Cardelli, Benjamin C. Pierce. tacs 1997: 415-438

Behavioral Equivalence in the Polymorphic Pi-calculusBenjamin C. Pierce, Davide Sangiorgi. POPL 1997: 242-255 [doi]

Higher-Order SubtypingBenjamin C. Pierce, Martin Steffen. TCS, 176(1-2):235-282, 1997. [doi]

Intersection Types and Bounded PolymorphismBenjamin C. Pierce. mscs, 7(2):129-193, 1997.

Foundational Calculi for Programming LanguagesBenjamin C. Pierce. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2190-2207, CRC Press, 1997.

1996

Higher-Order Intersection Types and Multiple InheritanceAdriana B. Compagnoni, Benjamin C. Pierce. mscs, 6(5):469-501, 1996.

Positive SubtypingMartin Hofmann, Benjamin C. Pierce. iandc, 126(1):11-33, 1996.

Linearity and the Pi-CalculusNaoki Kobayashi, Benjamin C. Pierce, David N. Turner. POPL 1996: 358-371 [doi]

Decoding Choice EncodingsUwe Nestmann, Benjamin C. Pierce. concur 1996: 179-194

Typing and Subtyping for Mobile ProcessesBenjamin C. Pierce, Davide Sangiorgi. mscs, 6(5):409-453, 1996.

1995

1994

1993

Typing and Subtyping for Mobile ProcessesBenjamin C. Pierce, Davide Sangiorgi. lics 1993: 376-385

Intersection Types and Bounded PolymorphismBenjamin C. Pierce. tlca 1993: 346-360

Object-Oriented Programming without Recursive TypesBenjamin C. Pierce, David N. Turner. POPL 1993: 299-312

1992

Bounded Quantification is UndecidableBenjamin C. Pierce. POPL 1992: 305-315

PreviousNext