Benjamin C. Pierce Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Greenberg, Benjamin C. Pierce, Stephanie Weirich: Contracts made manifest. POPL 2010: 353-364
2009
104no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Benjamin C. Pierce: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009 ACM 2009
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic: Reactive noninterference. ACM Conference on Computer and Communications Security 2009: 79-90
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic: Updatable Security Views. CSF 2009: 60-74
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. ICFP 2009: 121-122
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Foundations for Bidirectional Programming. ICMT 2009: 1-3
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren: XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650
2008
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce: Quotient lenses. ICFP 2008: 383-396
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich: Engineering formal metatheory. POPL 2008: 3-15
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt: Boomerang: resourceful lenses for string data. POPL 2008: 407-419
2007
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Adventures in Bidirectional Programming. FSTTCS 2007: 21-22
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjeev Khanna, Keshav Kunal, Benjamin C. Pierce: A Formal Investigation of. FSTTCS 2007: 485-496
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Nathan Foster, Benjamin C. Pierce, Alan Schmitt: A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X 2007: 80-90
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3): (2007)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEijiro Sumii, Benjamin C. Pierce: A bisimulation for type abstraction and recursion. J. ACM 54(5): (2007)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 (2007)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Flatt, Benjamin C. Pierce: Preface. J. Funct. Program. 17(4-5): 431 (2007)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEijiro Sumii, Benjamin C. Pierce: A bisimulation for dynamic sealing. Theor. Comput. Sci. 375(1-3): 169-192 (2007)
2006
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt: Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. DISC 2006: 269-283
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: The Weird World of Bi-directional Programming. ESOP 2006: 342-342
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Gapeyev, François Garillot, Benjamin C. Pierce: Statically Typed Document Transformation: An Xtatic Experience. PLAN-X 2006: 2-13
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XTATIC. PLAN-X 2006: 88
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan: Relational lenses: a language for updatable views. PODS 2006: 338-347
2005
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, Benjamin C. Pierce: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 ACM 2005
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XML Goes Native: Run-Time Representations for Xtatic. CC 2005: 43-58
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Y. Levin, Benjamin C. Pierce: Type-Based Optimization for Regular Patterns. DBPL 2005: 184-198
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL 2005: 233-246
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEijiro Sumii, Benjamin C. Pierce: A bisimulation for type abstraction and recursion. POPL 2005: 63-74
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Harmony: The Art of Reconciliation. TGC 2005: 1
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005)
2004
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEijiro Sumii, Benjamin C. Pierce: A bisimulation for dynamic sealing. POPL 2004: 161-172
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Odersky, Benjamin C. Pierce: Guest editorial. ACM Trans. Program. Lang. Syst. 26(5): 767-768 (2004)
2003
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers Springer 2003
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Gapeyev, Benjamin C. Pierce: Regular Object Types. ECOOP 2003: 151-175
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Types and Programming Languages: The Next Generation. LICS 2003: 32-
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaruo Hosoya, Benjamin C. Pierce: XDuce: A statically typed XML processing language. ACM Trans. Internet Techn. 3(2): 117-148 (2003)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaoki Kobayashi, Benjamin C. Pierce: Information and Computation special issue from TACS 2001. Inf. Comput. 186(2): 163-164 (2003)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Y. Levin, Benjamin C. Pierce: TinkerType: a language for playing with formal systems. J. Funct. Program. 13(2): 295-316 (2003)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. J. Funct. Program. 13(6): 961-1004 (2003)
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEijiro Sumii, Benjamin C. Pierce: Logical Relations for Encryption. Journal of Computer Security 11(4): 521-554 (2003)
2002
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathleen Fisher, Benjamin C. Pierce: Guest editorial. ACM Trans. Program. Lang. Syst. 24(2): 111 (2002)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: Type Destructors. Inf. Comput. 172(1): 29-62 (2002)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtsushi Igarashi, Benjamin C. Pierce: Foundations for Virtual Types. Inf. Comput. 175(1): 34-49 (2002)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtsushi Igarashi, Benjamin C. Pierce: On Inner Classes. Inf. Comput. 177(1): 56-89 (2002)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce: Recursive subtyping revealed. J. Funct. Program. 12(6): 511-548 (2002)
2001
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaoki Kobayashi, Benjamin C. Pierce: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings Springer 2001
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaruo Hosoya, Benjamin C. Pierce: Regular expression pattern matching for XML. POPL 2001: 67-80
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, Jerome Vouillon: Unison: A File Synchronizer and Its Specification. TACS 2001: 560
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001)
2000
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtsushi Igarashi, Benjamin C. Pierce: On Inner Classes. ECOOP 2000: 129-153
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ICFP 2000: 11-22
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Harper, Benjamin C. Pierce: Advanced module systems: a guide for the perplexed (abstract of invited talk). ICFP 2000: 130
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce: Recursive subtyping revealed: functional pearl. ICFP 2000: 221-231
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction 2000: 455-494
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Informal Proceedings) 2000: 111-116
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaruo Hosoya, Benjamin C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Selected Papers) 2000: 226-244
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Local type inference. ACM Trans. Program. Lang. Syst. 22(1): 1-44 (2000)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Nestmann, Benjamin C. Pierce: Decoding Choice Encodings. Inf. Comput. 163(1): 1-59 (2000)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, Davide Sangiorgi: Behavioral equivalence in the polymorphic pi-calculus. J. ACM 47(3): 531-584 (2000)
1999
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Buneman, Benjamin C. Pierce: Union Types for Semistructured Data. DBPL 1999: 184-207
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtsushi Igarashi, Benjamin C. Pierce: Foundations for Virtual Types. ECOOP 1999: 161-185
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999: 132-146
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaoki Kobayashi, Benjamin C. Pierce, David N. Turner: Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst. 21(5): 914-947 (1999)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Foundations of Object-Oriented Languages - Introduction. TAPOS 5(1): 1 (1999)
1998
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Type Systems for Concurrent Calculi (Abstract). CONCUR 1998: 364-365
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce: Location-Independent Communication for Mobile Agents: A Two-Level Architecture. ICCL Workshop: Internet Programming Languages 1998: 1-31
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSundar Balasubramaniam, Benjamin C. Pierce: What is a File Synchronizer? MOBICOM 1998: 98-108
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Local Type Inference. POPL 1998: 252-265
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Nestmann, Benjamin C. Pierce: Preface. Electr. Notes Theor. Comput. Sci. 16(3): (1998)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim B. Bruce, Benjamin C. Pierce: Editorial - Third Workshop on Foundations of Object-Oriented Languages. TAPOS 4(1): 1 (1998)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Ghelli, Benjamin C. Pierce: Bounded Existentials and Minimal Typing. Theor. Comput. Sci. 193(1-2): 75-96 (1998)
1997
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, Davide Sangiorgi: Behavioral Equivalence in the Polymorphic Pi-calculus. POPL 1997: 242-255
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. TACS 1997: 415-438
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Foundational Calculi for Programming Languages. The Computer Science and Engineering Handbook 1997: 2190-2207
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Intersection Types and Bounded Polymorphism. Mathematical Structures in Computer Science 7(2): 129-193 (1997)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, Martin Steffen: Higher-Order Subtyping. Theor. Comput. Sci. 176(1-2): 235-282 (1997)
1996
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Nestmann, Benjamin C. Pierce: Decoding Choice Encodings. CONCUR 1996: 179-194
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaoki Kobayashi, Benjamin C. Pierce, David N. Turner: Linearity and the Pi-Calculus. POPL 1996: 358-371
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: Positive Subtyping. Inf. Comput. 126(1): 11-33 (1996)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, Davide Sangiorgi: Typing and Subtyping for Mobile Processes. Mathematical Structures in Computer Science 6(5): 409-453 (1996)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdriana B. Compagnoni, Benjamin C. Pierce: Higher-Order Intersection Types and Multiple Inheritance. Mathematical Structures in Computer Science 6(5): 469-501 (1996)
1995
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: Positive Subtyping. POPL 1995: 186-197
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Castagna, Benjamin C. Pierce: Corrigendum: Decidable Bounded Quantification. POPL 1995: 408
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: A Unifying Type-Theoretic Framework for Objects. J. Funct. Program. 5(4): 593-635 (1995)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)
1994
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Castagna, Benjamin C. Pierce: Decidable Bounded Quantification. POPL 1994: 151-162
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Steffen, Benjamin C. Pierce: Higher-Order Subtyping. PROCOMET 1994: 511-530
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: A Unifying Type-Theoretic Framework for Objects. STACS 1994: 251-262
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Concurrent Objects in a Process Calculus. Theory and Practice of Parallel Programming 1994: 187-215
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Bounded Quantification is Undecidable Inf. Comput. 112(1): 131-165 (1994)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program. 4(2): 207-247 (1994)
1993
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, Davide Sangiorgi: Typing and Subtyping for Mobile Processes LICS 1993: 376-385
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Object-Oriented Programming without Recursive Types. POPL 1993: 299-312
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Intersection Types and Bounded Polymorphism. TLCA 1993: 346-360
1992
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce: Bounded Quantification is Undecidable. POPL 1992: 305-315
1991
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Harper, Benjamin C. Pierce: A Record Calculus Based on Symmetric Concatenation. POPL 1991: 131-142
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. 13(2): 237-268 (1991)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Benjamin C. Pierce, Gordon D. Plotkin: Faithful Ideal Models for Recursive Polymorphic Types. Int. J. Found. Comput. Sci. 2(1): 1-21 (1991)
1989
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Benjamin C. Pierce, Gordon D. Plotkin: Faithful Ideal Models for Recursive Polymorphic Types LICS 1989: 216-225
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227

Coauthor Index

1Martín Abadi [1] [2] [3] [4] [18]
2Brian E. Aydemir [75] [97]
3Sundar Balasubramaniam [35]
4Véronique Benzaken [99]
5Aaron Bohannon [75] [83] [96] [103]
6Kim B. Bruce [16] [29] [32] [39]
7Peter Buneman [43]
8Luca Cardelli [1] [4] [16] [18] [29] [39]
9Giuseppe Castagna [15] [16] [19] [99]
10Arthur Charguéraud [97]
11Adriana B. Compagnoni [21]
12Olivier Danvy [82]
13Jonathan Eifrig [16]
14Matthew Fairbairn [75]
15Kathleen Fisher [62]
16Matthew Flatt [89]
17Nate Foster (J. Nathan Foster) [75] [78] [79] [90] [92] [93] [96] [98] [102]
18Vladimir Gapeyev [50] [58] [69] [81] [84] [85]
19François Garillot [85]
20Giorgio Ghelli [31]
21Michael Greenberg [105]
22Michael B. Greenwald (Michael Greenwald) [78] [79] [87] [90] [92]
23Robert Harper [5] [51]
24Martin Hofmann [13] [17] [20] [23] [61]
25Haruo Hosoya [47] [48] [52] [56] [64] [67] [73] [99]
26Atsushi Igarashi [41] [42] [53] [54] [59] [60]
27Sanjeev Khanna [87] [94]
28Christian Kirkegaard [79] [90]
29Naoki Kobayashi [24] [40] [57] [66]
30Keshav Kunal [87] [94]
31Gary T. Leavens [16]
32Michael Y. Levin [50] [58] [65] [80] [81] [84]
33Jonathan T. Moore [78] [92]
34Uwe Nestmann [25] [33] [45]
35Martin Odersky [71]
36Mitsuhiro Okada [70]
37Alexandre Pilkiewicz [96] [98]
38Gordon D. Plotkin [1] [2] [3] [4]
39Randy Pollack [97]
40Didier Rémy [18]
41Davide Sangiorgi [9] [22] [30] [44]
42Andre Scedrov [70]
43Alan Schmitt [78] [79] [81] [84] [87] [90] [92] [93] [96]
44Peter Sewell [36] [74] [75]
45Zhong Shao [104]
46Vilhelm Sjöberg [103]
47Scott F. Smith [16]
48Martin Steffen [14] [26]
49Eijiro Sumii [63] [72] [77] [88] [91]
50Hideyuki Tokuda [70]
51Valery Trifonov [16]
52David N. Turner [8] [10] [24] [34] [40] [46] [49]
53Stijn Vansummeren [99]
54Jeffrey A. Vaughan [83]
55Jérôme Vouillon (Jerome Vouillon) [52] [55] [73]
56Dimitrios Vytiniotis [75]
57Philip Wadler [41] [54]
58Geoffrey Washburn [75]
59Stephanie Weirich [74] [75] [97] [103] [105]
60Pawel T. Wojciechowski [36]
61Akinori Yonezawa [70]
62Steve Zdancewic [74] [75] [102] [103]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)