Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Benjamin C. Pierce" ( http://dblp.L3S.de/Authors/Benjamin_C._Pierce )

URL (Homepage):  http://www.cis.upenn.edu/~bcpierce/  Author page on DBLP  Author page in RDF  Community of Benjamin C. Pierce in ASPL-2

Publication years (Num. hits)
1989-1994 (16) 1995-1997 (15) 1998-2000 (23) 2001-2003 (19) 2004-2006 (17) 2007-2009 (17) 2010-2012 (12)
Publication types (Num. hits)
article(39) book(2) incollection(2) inproceedings(70) proceedings(6)
Venues (Conferences, Journals, ...)
POPL(20) ICFP(9) ACM Trans. Program. Lang. Syst...(8) Inf. Comput.(8) J. Funct. Program.(7) DBPL(3) ECOOP(3) LICS(3) Mathematical Structures in Com...(3) PLAN-X(3) TACS(3) TAPOS(3) Theor. Comput. Sci.(3) CONCUR(2) ESOP(2) FSTTCS(2) More (+10 of total 49)
Authors
Benjamin C. Pierce(119) Alan Schmitt(9) J. Nathan Foster(9) Haruo Hosoya(8) Atsushi Igarashi(7) David N. Turner(7) Martin Hofmann(7) Luca Cardelli(6) Michael Y. Levin(6) Vladimir Gapeyev(6) Eijiro Sumii(5) Martín Abadi(5) Michael B. Greenwald(5) Stephanie Weirich(5) Aaron Bohannon(4) Davide Sangiorgi(4) More (+10 of total 73)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 82 occurrences of 52 keywords
Results
Found 119 publication records. Showing 119 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Benjamin C. Pierce Verification challenges of pervasive information flow. Search on Bibsonomy PLPV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Hofmann, Benjamin C. Pierce, Daniel Wagner Edit lenses. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce (eds.) Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012 Search on Bibsonomy TLDI The full citation details ... 2012 DBLP  BibTeX  RDF
1Martin Hofmann, Benjamin C. Pierce, Daniel Wagner Symmetric lenses. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan Differential Privacy Under Fire. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2011 DBLP  BibTeX  RDF
1João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce Polymorphic Contracts. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith Differential privacy for collaborative security. Search on Bibsonomy EUROSEC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF collaborative security, botnets, differential privacy
1Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich Contracts made manifest. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF blame, dynamic checking, refinement type, contract, translation, precondition, postcondition
1Benjamin C. Pierce Proof Assistants as Teaching Assistants: A View from the Trenches. Search on Bibsonomy ITP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce Matching lenses: alignment and view update. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jason Reed, Benjamin C. Pierce Distance makes the types grow stronger: a calculus for differential privacy. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Art, science, and fear. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren XML Typechecking. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zhong Shao, Benjamin C. Pierce (eds.) Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009 Search on Bibsonomy POPL The full citation details ... 2009 DBLP  BibTeX  RDF
1Benjamin C. Pierce Foundations for Bidirectional Programming. Search on Bibsonomy ICMT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic Updatable Security Views. Search on Bibsonomy CSF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Security views, integrity, information flow, confidentiality, view update, lenses, regular types
1Benjamin C. Pierce Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF programming languages, pedagogy, proof assistants
1Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic Reactive noninterference. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web applications, information flow, web browsers, noninterference, reactive programming
1Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich Engineering formal metatheory. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF locally nameless, binding, coq
1Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt Boomerang: resourceful lenses for string data. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bidirectional languages, regular string transducers, lenses, view update problem, regular types
1J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce Quotient lenses. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types
1Eijiro Sumii, Benjamin C. Pierce A bisimulation for dynamic sealing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1J. 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. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Bidirectional programming, XML, lenses, Harmony, view update problem
1Eijiro Sumii, Benjamin C. Pierce A bisimulation for type abstraction and recursion. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
1J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt Exploiting schemas in data synchronization. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Benjamin C. Pierce Preface. Search on Bibsonomy J. Funct. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce A Formal Investigation of. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Adventures in Bidirectional Programming. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. Search on Bibsonomy PLAN-X The full citation details ... 2007 DBLP  BibTeX  RDF
1Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan Relational lenses: a language for updatable views. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF view update, lenses
1Benjamin C. Pierce The Weird World of Bi-directional Programming. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vladimir Gapeyev, François Garillot, Benjamin C. Pierce Statically Typed Document Transformation: An Xtatic Experience. Search on Bibsonomy PLAN-X The full citation details ... 2006 DBLP  BibTeX  RDF
1Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt XTATIC. Search on Bibsonomy PLAN-X The full citation details ... 2006 DBLP  BibTeX  RDF
1Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce Regular expression types for XML. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF XML, Type systems, subtyping
1Eijiro Sumii, Benjamin C. Pierce A bisimulation for type abstraction and recursion. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
1J. 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. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bi-directional programming, XML, lenses, harmony, view update problem
1Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic It Is Time to Mechanize Programming Language Metatheory. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Benjamin C. Pierce (eds.) Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  BibTeX  RDF
1Brian 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. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt XML Goes Native: Run-Time Representations for Xtatic. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Y. Levin, Benjamin C. Pierce Type-Based Optimization for Regular Patterns. Search on Bibsonomy DBPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt Exploiting Schemas in Data Synchronization. Search on Bibsonomy DBPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Harmony: The Art of Reconciliation. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Benjamin C. Pierce Guest editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Eijiro Sumii, Benjamin C. Pierce A bisimulation for dynamic sealing. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Eijiro Sumii, Benjamin C. Pierce Logical Relations for Encryption. Search on Bibsonomy Journal of Computer Security The full citation details ... 2003 DBLP  BibTeX  RDF
1Haruo Hosoya, Benjamin C. Pierce XDuce: A statically typed XML processing language. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML, Type systems, subtyping, tree automata
1Naoki Kobayashi, Benjamin C. Pierce Information and Computation special issue from TACS 2001. Search on Bibsonomy Inf. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Haruo Hosoya, Benjamin C. Pierce Regular expression pattern matching for XML. Search on Bibsonomy J. Funct. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Y. Levin, Benjamin C. Pierce TinkerType: a language for playing with formal systems. Search on Bibsonomy J. Funct. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Types and Programming Languages: The Next Generation. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Vladimir Gapeyev, Benjamin C. Pierce Regular Object Types. Search on Bibsonomy ECOOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.) Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce On Inner Classes. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce Foundations for Virtual Types. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Martin Hofmann, Benjamin C. Pierce Type Destructors. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Benjamin C. Pierce Guest editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce Recursive subtyping revealed. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Types and programming languages. Search on Bibsonomy 2002   RDF
1Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Featherweight Java: a minimal core calculus for Java and GJ. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF generic classes, Java, Compilation, language design, language semantics
1Benjamin C. Pierce, Jerome Vouillon Unison: A File Synchronizer and Its Specification. Search on Bibsonomy TACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi, Benjamin C. Pierce (eds.) Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings Search on Bibsonomy TACS The full citation details ... 2001 DBLP  BibTeX  RDF
1Haruo Hosoya, Benjamin C. Pierce Regular expression pattern matching for XML. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF XML
1Benjamin C. Pierce (eds.) Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  BibTeX  RDF
1Uwe Nestmann, Benjamin C. Pierce Decoding Choice Encodings. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce, David N. Turner Local type inference. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF polymorphism, type inference, subtyping
1Benjamin C. Pierce, Davide Sangiorgi Behavioral equivalence in the polymorphic pi-calculus. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF abstract data types, pi-calculus
1Haruo Hosoya, Benjamin C. Pierce XDuce: A Typed XML Processing Language (Preliminary Report). Search on Bibsonomy WebDB (Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Haruo Hosoya, Benjamin C. Pierce XDuce: A Typed XML Processing Language (Preliminary Report). Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
1Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce Regular expression types for XML. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML
1Robert Harper, Benjamin C. Pierce Advanced module systems: a guide for the perplexed (abstract of invited talk). Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce Recursive subtyping revealed: functional pearl. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PEARL
1Benjamin C. Pierce, David N. Turner Pict: a programming language based on the Pi-Calculus. Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce On Inner Classes. Search on Bibsonomy ECOOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce Comparing Object Encodings. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Foundations of Object-Oriented Languages - Introduction. Search on Bibsonomy TAPOS The full citation details ... 1999 DBLP  BibTeX  RDF
1Naoki Kobayashi, Benjamin C. Pierce, David N. Turner Linearity and the pi-calculus. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF linear types, concurrency, pi-calculus, process calculi, confluence
1Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Featherwieght Java: A Minimal Core Calculus for Java and GJ. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, implementation, language design, theoretical foundations
1Peter Buneman, Benjamin C. Pierce Union Types for Semistructured Data. Search on Bibsonomy DBPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce Foundations for Virtual Types. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Giorgio Ghelli, Benjamin C. Pierce Bounded Existentials and Minimal Typing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Kim B. Bruce, Benjamin C. Pierce Editorial - Third Workshop on Foundations of Object-Oriented Languages. Search on Bibsonomy TAPOS The full citation details ... 1998 DBLP  BibTeX  RDF
1Uwe Nestmann, Benjamin C. Pierce Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Type Systems for Concurrent Calculi (Abstract). Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sundar Balasubramaniam, Benjamin C. Pierce What is a File Synchronizer? Search on Bibsonomy MOBICOM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce, David N. Turner Local Type Inference. Search on Bibsonomy POPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce Location-Independent Communication for Mobile Agents: A Two-Level Architecture. Search on Bibsonomy ICCL Workshop: Internet Programming Languages The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce, Martin Steffen Higher-Order Subtyping. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Intersection Types and Bounded Polymorphism. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce Foundational Calculi for Programming Languages. Search on Bibsonomy The Computer Science and Engineering Handbook The full citation details ... 1997 DBLP  BibTeX  RDF
1Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce Comparing Object Encodings. Search on Bibsonomy TACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce, Davide Sangiorgi Behavioral Equivalence in the Polymorphic Pi-calculus. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Adriana B. Compagnoni, Benjamin C. Pierce Higher-Order Intersection Types and Multiple Inheritance. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1996 DBLP  BibTeX  RDF
1Benjamin C. Pierce, Davide Sangiorgi Typing and Subtyping for Mobile Processes. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1996 DBLP  BibTeX  RDF
1Martin Hofmann, Benjamin C. Pierce Positive Subtyping. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Uwe Nestmann, Benjamin C. Pierce Decoding Choice Encodings. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi, Benjamin C. Pierce, David N. Turner Linearity and the Pi-Calculus. Search on Bibsonomy POPL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce On Binary Methods. Search on Bibsonomy TAPOS The full citation details ... 1995 DBLP  BibTeX  RDF
1Martin Hofmann, Benjamin C. Pierce A Unifying Type-Theoretic Framework for Objects. Search on Bibsonomy J. Funct. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 119 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.