The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Benjamin C. Pierce: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
    Dynamic Typing in a Statically-Typed Language. [Citation Graph (3, 0)][DBLP]
    POPL, 1989, pp:213-227 [Conf]
  2. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
    Regular expression types for XML. [Citation Graph (2, 0)][DBLP]
    ICFP, 2000, pp:11-22 [Conf]
  3. Benjamin C. Pierce
    Bounded Quantification is Undecidable. [Citation Graph (2, 0)][DBLP]
    POPL, 1992, pp:305-315 [Conf]
  4. Haruo Hosoya, Benjamin C. Pierce
    XDuce: A Typed XML Processing Language (Preliminary Report). [Citation Graph (2, 0)][DBLP]
    WebDB (Informal Proceedings), 2000, pp:111-116 [Conf]
  5. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
    Dynamic Typing in a Statically Typed Language. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:2, pp:237-268 [Journal]
  6. Robert Harper, Benjamin C. Pierce
    A Record Calculus Based on Symmetric Concatenation. [Citation Graph (1, 0)][DBLP]
    POPL, 1991, pp:131-142 [Conf]
  7. Benjamin C. Pierce, David N. Turner
    Object-Oriented Programming without Recursive Types. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:299-312 [Conf]
  8. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
    Dynamic Typing in Polymorphic Languages. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:1, pp:111-130 [Journal]
  9. Benjamin C. Pierce, David N. Turner
    Simple Type-Theoretic Foundations for Object-Oriented Programming. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:2, pp:207-247 [Journal]
  10. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
    XML Goes Native: Run-Time Representations for Xtatic. [Citation Graph (0, 0)][DBLP]
    CC, 2005, pp:43-58 [Conf]
  11. Benjamin C. Pierce
    Type Systems for Concurrent Calculi (Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:364-365 [Conf]
  12. Uwe Nestmann, Benjamin C. Pierce
    Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:179-194 [Conf]
  13. J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
    Exploiting Schemas in Data Synchronization. [Citation Graph (0, 0)][DBLP]
    DBPL, 2005, pp:42-57 [Conf]
  14. Peter Buneman, Benjamin C. Pierce
    Union Types for Semistructured Data. [Citation Graph (0, 0)][DBLP]
    DBPL, 1999, pp:184-207 [Conf]
  15. Michael Y. Levin, Benjamin C. Pierce
    Type-Based Optimization for Regular Patterns. [Citation Graph (0, 0)][DBLP]
    DBPL, 2005, pp:184-198 [Conf]
  16. Vladimir Gapeyev, Benjamin C. Pierce
    Regular Object Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:151-175 [Conf]
  17. Atsushi Igarashi, Benjamin C. Pierce
    On Inner Classes. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:129-153 [Conf]
  18. Atsushi Igarashi, Benjamin C. Pierce
    Foundations for Virtual Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:161-185 [Conf]
  19. Benjamin C. Pierce
    The Weird World of Bi-directional Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:342-342 [Conf]
  20. Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce
    Location-Independent Communication for Mobile Agents: A Two-Level Architecture. [Citation Graph (0, 0)][DBLP]
    ICCL Workshop: Internet Programming Languages, 1998, pp:1-31 [Conf]
  21. Robert Harper, Benjamin C. Pierce
    Advanced module systems: a guide for the perplexed (abstract of invited talk). [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:130- [Conf]
  22. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
    Recursive subtyping revealed: functional pearl. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:221-231 [Conf]
  23. Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
    Faithful Ideal Models for Recursive Polymorphic Types [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:216-225 [Conf]
  24. Benjamin C. Pierce
    Types and Programming Languages: The Next Generation. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:32-0 [Conf]
  25. Benjamin C. Pierce, Davide Sangiorgi
    Typing and Subtyping for Mobile Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:376-385 [Conf]
  26. Sundar Balasubramaniam, Benjamin C. Pierce
    What is a File Synchronizer? [Citation Graph (0, 0)][DBLP]
    MOBICOM, 1998, pp:98-108 [Conf]
  27. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
    Featherwieght Java: A Minimal Core Calculus for Java and GJ. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:132-146 [Conf]
  28. Vladimir Gapeyev, François Garillot, Benjamin C. Pierce
    Statically Typed Document Transformation: An Xtatic Experience. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2006, pp:2-13 [Conf]
  29. J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
    A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:80-90 [Conf]
  30. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
    XTATIC. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2006, pp:88- [Conf]
  31. Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan
    Relational lenses: a language for updatable views. [Citation Graph (0, 0)][DBLP]
    PODS, 2006, pp:338-347 [Conf]
  32. Giuseppe Castagna, Benjamin C. Pierce
    Decidable Bounded Quantification. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:151-162 [Conf]
  33. Giuseppe Castagna, Benjamin C. Pierce
    Corrigendum: Decidable Bounded Quantification. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:408- [Conf]
  34. J. 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. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:233-246 [Conf]
  35. Martin Hofmann, Benjamin C. Pierce
    Positive Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:186-197 [Conf]
  36. Haruo Hosoya, Benjamin C. Pierce
    Regular expression pattern matching for XML. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:67-80 [Conf]
  37. Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
    Linearity and the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:358-371 [Conf]
  38. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for dynamic sealing. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:161-172 [Conf]
  39. Benjamin C. Pierce, Davide Sangiorgi
    Behavioral Equivalence in the Polymorphic Pi-calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:242-255 [Conf]
  40. Benjamin C. Pierce, David N. Turner
    Local Type Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:252-265 [Conf]
  41. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for type abstraction and recursion. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:63-74 [Conf]
  42. Martin Steffen, Benjamin C. Pierce
    Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:511-530 [Conf]
  43. Martin Hofmann, Benjamin C. Pierce
    A Unifying Type-Theoretic Framework for Objects. [Citation Graph (0, 0)][DBLP]
    STACS, 1994, pp:251-262 [Conf]
  44. Benjamin C. Pierce, Jerome Vouillon
    Unison: A File Synchronizer and Its Specification. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:560- [Conf]
  45. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Comparing Object Encodings. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:415-438 [Conf]
  46. Benjamin C. Pierce
    Harmony: The Art of Reconciliation. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:1- [Conf]
  47. Benjamin C. Pierce
    Intersection Types and Bounded Polymorphism. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:346-360 [Conf]
  48. Brian 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. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2005, pp:50-65 [Conf]
  49. Benjamin C. Pierce
    Concurrent Objects in a Process Calculus. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:187-215 [Conf]
  50. Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt
    Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:269-283 [Conf]
  51. Haruo Hosoya, Benjamin C. Pierce
    XDuce: A Typed XML Processing Language (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    WebDB (Selected Papers), 2000, pp:226-244 [Conf]
  52. Uwe Nestmann, Benjamin C. Pierce
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal]
  53. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Comparing Object Encodings. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:155, n:1-2, pp:108-133 [Journal]
  54. Martin Hofmann, Benjamin C. Pierce
    Type Destructors. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:1, pp:29-62 [Journal]
  55. Martin Hofmann, Benjamin C. Pierce
    Positive Subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:11-33 [Journal]
  56. Atsushi Igarashi, Benjamin C. Pierce
    Foundations for Virtual Types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:175, n:1, pp:34-49 [Journal]
  57. Atsushi Igarashi, Benjamin C. Pierce
    On Inner Classes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:177, n:1, pp:56-89 [Journal]
  58. Naoki Kobayashi, Benjamin C. Pierce
    Information and Computation special issue from TACS 2001. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:186, n:2, pp:163-164 [Journal]
  59. Uwe Nestmann, Benjamin C. Pierce
    Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:1, pp:1-59 [Journal]
  60. Benjamin C. Pierce
    Bounded Quantification is Undecidable [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:112, n:1, pp:131-165 [Journal]
  61. Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
    Faithful Ideal Models for Recursive Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:1-21 [Journal]
  62. Benjamin C. Pierce, Davide Sangiorgi
    Behavioral equivalence in the polymorphic pi-calculus. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:3, pp:531-584 [Journal]
  63. Eijiro Sumii, Benjamin C. Pierce
    Logical Relations for Encryption. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2003, v:11, n:4, pp:521-554 [Journal]
  64. J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
    Exploiting schemas in data synchronization. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2007, v:73, n:4, pp:669-689 [Journal]
  65. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
    Recursive subtyping revealed. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:6, pp:511-548 [Journal]
  66. Martin Hofmann, Benjamin C. Pierce
    A Unifying Type-Theoretic Framework for Objects. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:4, pp:593-635 [Journal]
  67. Haruo Hosoya, Benjamin C. Pierce
    Regular expression pattern matching for XML. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:6, pp:961-1004 [Journal]
  68. Michael Y. Levin, Benjamin C. Pierce
    TinkerType: a language for playing with formal systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:2, pp:295-316 [Journal]
  69. Adriana B. Compagnoni, Benjamin C. Pierce
    Higher-Order Intersection Types and Multiple Inheritance. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:5, pp:469-501 [Journal]
  70. Benjamin C. Pierce
    Intersection Types and Bounded Polymorphism. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:2, pp:129-193 [Journal]
  71. Benjamin C. Pierce, Davide Sangiorgi
    Typing and Subtyping for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:5, pp:409-453 [Journal]
  72. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
    On Binary Methods. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:221-242 [Journal]
  73. Kim B. Bruce, Benjamin C. Pierce
    Editorial - Third Workshop on Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1998, v:4, n:1, pp:1- [Journal]
  74. Benjamin C. Pierce
    Foundations of Object-Oriented Languages - Introduction. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1999, v:5, n:1, pp:1- [Journal]
  75. Giorgio Ghelli, Benjamin C. Pierce
    Bounded Existentials and Minimal Typing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:75-96 [Journal]
  76. Benjamin C. Pierce, Martin Steffen
    Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:176, n:1-2, pp:235-282 [Journal]
  77. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for dynamic sealing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:169-192 [Journal]
  78. Haruo Hosoya, Benjamin C. Pierce
    XDuce: A statically typed XML processing language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Internet Techn., 2003, v:3, n:2, pp:117-148 [Journal]
  79. Kathleen Fisher, Benjamin C. Pierce
    Guest editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:2, pp:111- [Journal]
  80. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
    Regular expression types for XML. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:46-90 [Journal]
  81. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
    Featherweight Java: a minimal core calculus for Java and GJ. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:3, pp:396-450 [Journal]
  82. Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
    Linearity and the pi-calculus. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:5, pp:914-947 [Journal]
  83. Martin Odersky, Benjamin C. Pierce
    Guest editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:5, pp:767-768 [Journal]
  84. Benjamin C. Pierce, David N. Turner
    Local type inference. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:1-44 [Journal]
  85. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for type abstraction and recursion. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2007, v:54, n:5, pp:- [Journal]
  86. J. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]

  87. Pict: a programming language based on the Pi-Calculus. [Citation Graph (, )][DBLP]


  88. Reactive noninterference. [Citation Graph (, )][DBLP]


  89. Updatable Security Views. [Citation Graph (, )][DBLP]


  90. A Formal Investigation of. [Citation Graph (, )][DBLP]


  91. Adventures in Bidirectional Programming. [Citation Graph (, )][DBLP]


  92. Quotient lenses. [Citation Graph (, )][DBLP]


  93. Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. [Citation Graph (, )][DBLP]


  94. Engineering formal metatheory. [Citation Graph (, )][DBLP]


  95. Boomerang: resourceful lenses for string data. [Citation Graph (, )][DBLP]


  96. Contracts made manifest. [Citation Graph (, )][DBLP]


  97. Foundations for Bidirectional Programming. [Citation Graph (, )][DBLP]


  98. It Is Time to Mechanize Programming Language Metatheory. [Citation Graph (, )][DBLP]


  99. Differential privacy for collaborative security. [Citation Graph (, )][DBLP]


  100. Proof Assistants as Teaching Assistants: A View from the Trenches. [Citation Graph (, )][DBLP]


Search in 1.417secs, Finished in 1.420secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002