% ########################################################################## % ########################################################################## % ### ### % ### DO NOT EDIT THIS FILE! ### % ### ### % ### This is a *copy* of bcp's main bibtex database. Any edits made ### % ### here will get overwritten the next time the copy is updated from ### % ### my main version. If you see something here that needs to be ### % ### changed, let me know and I'll fix it centrally. ### % ### ### % ########################################################################## % ########################################################################## %% To do: %% insert first names wherever possible %% regularize POPL spellings %% get rid of ACM Press when it appears with POPL %% - find volume numbers of LNCS, etc. %% - fix up "to appear" %% - find journal versions of conference papers %% - find published versions of TRs %% - find spellings of first names %% - nuke crossreferences %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Benjamin Pierce's Bibliography %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Conventions: % * Common conferences (POPL, ICFP, etc.) are defined in strings, for % uniformity. These strings include... % *not* "proceedings of the" or whatever (waste of ink, since % 'symposium' or whatever is included) % the sponsoring organization (which means that it's not % necessary to list "ACM Press" as the publisher) % "international symposium" or whatever % *not* "twentieth" or whatever % the conference name spelled out in full % its common acronym, if any % the location of that year's meeting, if I know it % Some special fields: % checked Set to "yes" or a date if the citation has been % checked against a physical copy of the document % fullauthor Present in some cases where the author's name appears in % abbreviated form on the actual document, but where % I happened to know their full name. The portion of % the name that does not appear on the document is % placed in square brackets, following standard % practice in some publishing houses. % fulleditor Similar. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% String Definitions %%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Publishing houses % %%%%%%%%%%%%%%%%% @STRING{ap = "Academic Press" } @STRING{springer = {Springer-Verlag} } @STRING{elsevier = "Elsevier" } @STRING{entcs = "Electronic Notes in Theoretical Computer Science" } @STRING{lncs = "Lecture Notes in Computer Science" } @STRING{lnm = "Lecture Notes in Mathematics" } @STRING{gtm = "Graduate Texts in Mathematics" } @STRING{lfcs = "Laboratory for Foundations of Computer Science, University of Edinburgh" } @STRING{mp = "MIT Press" } @STRING{mitpress = mp } % % Journals and magazines % %%%%%%%%%%%%%%%%%%%%%% @STRING{toplas = "ACM Transactions on Programming Languages and Systems" } @STRING{jlp = {Journal of Logic Programming} } @STRING{acmpress = "ACM Press" } @STRING{cacm = "Communications of the {ACM}" } @STRING{jacm = "Journal of the {ACM}" } @STRING{tcs = "Theoretical Computer Science" } @STRING{jsl = "Journal of Symbolic Logic" } @STRING{jcss = "Journal of Computer and System Sciences"} @STRING{siamjc = "SIAM Journal on Computing" } @STRING{mscs = "Mathematical Structures in Computer Science" } @STRING{proc = "Proceedings of the" } @STRING{ic = "Information and Computation" } @STRING{iandcomp = {Information and Computation} } @STRING{jfp = "Journal of Functional Programming" } @STRING{cup = "Cambridge University Press" } @STRING{mcgh = "McGraw-Hill" } @STRING{nh = "North Holland" } @STRING{sv = "Springer-Verlag" } @STRING{aw = "Addison-Wesley" } @STRING{ph = "Prentice Hall" } @STRING{tose = "IEEE Transactions on Software Engineering" } %@STRING{taoop = "C[arl] A. Gunter and J[ohn] C. Mitchell, editors, {\em % Theoretical Aspects of Object-Oriented Programming: % Types, Semantics, and Language Design}, MIT Press, 1994" } % BCPFIX -- should be spelled out, I think @STRING{taoop = "C. A. Gunter and J. C. Mitchell, editors, {\em Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design}, MIT Press, 1994" } % % Misc % %%%% @STRING{yes = "Yes" } @STRING{no = "No" } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Conferences % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @STRING{pods = "{ACM} {SIGACT--SIGMOD--SIGART} {S}ymposium on {P}rinciples of {D}atabase {S}ystems (PODS)"} @STRING{pods06 = pods # ", Chicago, Illinois" } @STRING{popl = "{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL})" } @STRING{poplpre92 = "{ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL})" } @STRING{popl73 = poplpre92 # ", Boston, Massachusetts" } @STRING{popl75 = poplpre92 # ", Palo Alto, California" } @STRING{popl76 = poplpre92 # ", {A}tlanta, {G}eorgia" } @STRING{popl77 = poplpre92 # ", Los Angeles, California" } @STRING{popl78 = poplpre92 # ", Tucson, Arizona" } @STRING{popl79 = poplpre92 # ", San Antonio, Texas" } @STRING{popl80 = poplpre92 # ", Las Vegas, Nevada" } @STRING{popl81 = poplpre92 # ", Williamsburg, Virginia" } @STRING{popl82 = poplpre92 # ", Albuquerque, New Mexico" } @STRING{popl83 = poplpre92 # ", Austin, Texas" } @STRING{popl84 = poplpre92 # ", Salt Lake City, Utah" } @STRING{popl85 = poplpre92 # ", New Orleans, Louisiana" } @STRING{popl86 = poplpre92 # ", St.\ Petersburg Beach, Florida" } @STRING{popl87 = poplpre92 # ", Munich, Germany" } @STRING{popl88 = poplpre92 # ", San Diego, California" } @STRING{popl89 = poplpre92 # ", Austin, Texas" } @STRING{popl90 = poplpre92 # ", {S}an {F}rancisco, {C}alifornia" } @STRING{popl91 = poplpre92 # ", Orlando, Florida" } @STRING{popl92 = popl # ", Albuquerque, New Mexico" } @STRING{popl93 = popl # ", Charleston, South Carolina" } @STRING{popl94 = popl # ", {P}ortland, {O}regon" } @STRING{popl95 = popl # ", San Francisco, California" } @STRING{popl96 = popl # ", St.~Petersburg Beach, Florida" } @STRING{popl97 = popl # ", Paris, France" } @STRING{popl98 = popl # ", San Diego, California" } @STRING{popl99 = popl # ", San Antonio, Texas" } @STRING{popl00 = popl # ", Boston, Massachusetts" } @STRING{popl01 = popl # ", London, England" } @STRING{popl02 = popl # ", Portland, Oregon" } @string{popl03 = popl # ", New Orleans, Louisiana" } @STRING{popl04 = popl # ", Venice, Italy" } @STRING{popl05 = popl # ", Long Beach, California" } @STRING{popl08 = popl # ", San Francisco, California" } % ---- @STRING{icfp = "{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming ({ICFP})" } @STRING{icfp04 = icfp # ", Snowbird, Utah" } @STRING{icfp03 = icfp # ", Uppsala, Sweden" } @STRING{icfp02 = icfp # ", Pittsburgh, Pennsylvania" } @STRING{icfp01 = icfp # ", Firenze, Italy" } @STRING{icfp00 = icfp # ", Montreal, Canada" } @STRING{icfp99 = icfp # ", Paris, France" } @STRING{icfp98 = icfp # ", Baltimore, Maryland" } @STRING{icfp97 = icfp # ", Amsterdam, The Netherlands" } @STRING{icfp96 = icfp # ", Philadelphia, Pennsylvania" } % ---- @STRING{oopsla = "{ACM} {SIGPLAN} {C}onference on {O}bject {O}riented {P}rogramming: {S}ystems, {L}anguages, and {A}pplications ({OOPSLA})" } @STRING{oopslapre96 = "{C}onference on {O}bject {O}riented {P}rogramming: {S}ystems, {L}anguages, and {A}pplications ({OOPSLA})" } @STRING{dbpl = {Database Programming Languages (DBPL)}} @STRING{dbpl05 = dbpl} @STRING{disc = {International Symposium on Distributed Computing (DISC)}} @STRING{disc06 = disc} @STRING{pods = {Principles of Database Systems (PODS)}} @STRING{pods06 = pods} @STRING{ecoop = {European Conference on Object-Oriented Programming (ECOOP)} } @STRING{ecoop92 = ecoop} @STRING{ecoop95 = ecoop} @STRING{ecoop98 = ecoop} @STRING{ecoop06 = ecoop # ", Nantes, France"} @STRING{oopsla86 = oopslapre96 # ", Portland, Oregon" } @STRING{oopsla89 = oopslapre96 # ", New Orleans, Louisiana"} @STRING{oopsla90 = oopslapre96 # "/" # ecoop # ", Ottawa, Ontario" } @STRING{oopsla98 = oopsla # ", Vancouver, British Columbia" } @STRING{oopsla03 = oopsla # ", Anaheim, California" } % ---- @STRING{lics = "IEEE Symposium on Logic in Computer Science (LICS)" } @STRING{lics86 = lics # ", Cambridge, Massachusetts" } @STRING{lics87 = lics # ", Ithaca, New York" } @STRING{lics88 = lics # ", Edinburgh, Scotland" } @STRING{lics89 = lics # ", Asilomar, California" } @STRING{lics90 = lics # ", Philadelphia, Pennsylvania" } @STRING{lics91 = lics } @STRING{lics92 = lics # ", Santa Cruz, California" } @STRING{lics93 = lics } @STRING{lics94 = lics } @STRING{lics95 = lics } @STRING{lics96 = lics # ", New Brunswick, New Jersey" } @STRING{lics97 = lics } @STRING{lics98 = lics # ", Indianapolis, Indiana" } @STRING{lics99 = lics # ", Trento, Italy" } @STRING{lics00 = lics } @STRING{lics01 = lics # ", Boston, Massachusetts" } @STRING{lics02 = lics } @STRING{lics03 = lics # ", Ottawa, Canada" } % ---- @STRING{pldi = "{ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}" } @STRING{pldi88 = pldi # ", {A}tlanta, {G}eorgia" } @STRING{pldi89 = pldi # ", Portland, Oregon" } @STRING{pldi90 = pldi # ", White Plains, New York" } @STRING{pldi91 = pldi # ", Toronto, Ontario" } @STRING{pldi92 = pldi # ", San Francisco, California" } @STRING{pldi93 = pldi # ", Albuquerque, New Mexico" } @STRING{pldi94 = pldi # ", Orlando, Florida" } @STRING{pldi95 = pldi # ", La Jolla, California" } @STRING{pldi96 = pldi # ", Philadephia, Pennsylvania" } @STRING{pldi97 = pldi # ", Las Vegas, Nevada" } @STRING{pldi98 = pldi # ", Montréal, Québec" } @STRING{pldi99 = pldi # ", {A}tlanta, {G}eorgia" } @STRING{pldi00 = pldi # ", Vancouver, British Columbia, Canada" } @STRING{pldi01 = pldi # ", Snowbird, Utah" } @STRING{pldi02 = pldi # ", Berlin, Germany" } @string{pldi03 = pldi # ", San Diego, California" } % ---- @STRING{lfp = "ACM Symposium on Lisp and Functional Programming (LFP)" } @STRING{lfp80 = lfp # ", Stanford, California" } @STRING{lfp84 = lfp # ", Austin, Texas" } @STRING{lfp86 = lfp # ", Cambridge, Massachusetts" } @STRING{lfp88 = lfp # ", Snowbird, Utah" } @STRING{lfp90 = lfp } @STRING{lfp92 = lfp # ", San Francisco, California"} @STRING{lfp94 = lfp # ", Orlando, Florida" } % ---- @STRING{fpca = "ACM Symposium on Functional Programming Languages and Computer Architecture (FPCA)" } @STRING{fpca87 = fpca # ", Portland, Oregon" } @STRING{fpca89 = fpca # ", London, England" } @STRING{fpca93 = fpca # ", Copenhagen, Denmark"} @STRING{fpca95 = fpca # "San Diego, California" } % ---- % workshops with informal proceedings only % ---- @STRING{informal = "{\rm, informal proceedings}"} @STRING{fool = {International Workshop on Foundations of Object-Oriented Languages (FOOL)} # informal } @STRING{haskellw = {ACM Haskell Workshop} # informal } @STRING{mlw = {ACM SIGPLAN Workshop on ML} # informal } @STRING{space = {Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE)} # informal } @STRING{tpa = {Workshop on Types for Program Analysis (TPA)} # informal } % ---- % meetings with proceedings: % --- @STRING{aplas = {Asian Symposium on Programming Languages and Systems (APLAS)} } @STRING{cav = {International Conference on Computer Aided Verification (CAV)} } @STRING{csl = {International Workshop on Computer Science Logic (CSL)} } @STRING{csfw = {IEE Computer Security Foundations Workshop (CSFW) } } @STRING{ecoop = {European Conference on Object-Oriented Programming (ECOOP)} } @STRING{esop = {European Symposium on Programming (ESOP)} } @STRING{flops = {International Symposium on Functional and Logic Programming (FLOPS)} } @STRING{fsttcs = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)} } @STRING{hoots = {Workshop on Higher Order Operational Techniques in Semantics (HOOTS)} } @String{icalp = {International Colloquium on Automata, Languages and Programming (ICALP)} } @STRING{lfcompsci = {International Symposium on Logical Foundations of Computer Science (LFCS)} } @STRING{mfps = {Workshop on the Mathematical Foundations of Programming Semantics (MFPS)} } @STRING{osdi = {USENIX Symposium on Operating Systems Design and Implementation (OSDI)} } @STRING{paste = {ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)} } @STRING{ppdp = {ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP)} } @STRING{rta = {International Conference on Rewriting Techniques and Applications (RTA)} } @STRING{sas = {International Symposium on Static Analysis (SAS) } } @STRING{sosp = {ACM Symposium on Operating Systems Principles (SOSP)} } @STRING{tacs = {International Symposium on Theoretical Aspects of Computer Software (TACS)} } @STRING{tapsoft = {Theory and Practice of Software Development (TAPSOFT)} } @STRING{tic = {ACM SIGPLAN Workshop on Types in Compilation ({TIC})} } @STRING{tlca = {International Conference on Typed Lambda Calculi and Applications (TLCA)} } @STRING{tldi = {ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI)} } @STRING{types = {International Workshop on Types for Proofs and Programs (TYPES)} } @STRING{webdb = {International Workshop on the Web and Databases (WebDB)} } @STRING{xsym = {Database and XML Technologies: International XML Database Symposium (XSym)} } % ---- % Specific meetings, with locations: % --- @STRING{aplas03 = aplas # ", Beijing, China" } % --- @STRING{cav96 = cav # ", New Brunswick, New Jersey" } @STRING{cav02 = cav # ", Copenhagen, Denmark" } % --- @STRING{csl94 = csl # ", Kazimierz, Poland" } @STRING{csl97 = csl # ", Aarhus, Denmark" } % --- @STRING{csfw02 = csfw # ", Cape Breton, Nova Scotia" } % --- @STRING{ecoop90 = oopsla # "/" # ecoop # ", Ottawa, Ontario" } @STRING{ecoop97 = ecoop # ", Jyväskylä, Finland" } @STRING{ecoop99 = ecoop # ", Lisbon, Portugal" } @STRING{ecoop00 = ecoop # ", Sophia Antipolis and Cannes, France" } @STRING{ecoop02 = ecoop # ", Malaga, Spain" } @STRING{ecoop03 = ecoop # ", Darmstadt, Germany" } @STRING{ecoop04 = ecoop # ", Oslo, Norway" } % --- @STRING{esop88 = esop # ", Nancy, France" } @STRING{esop92 = esop # ", Rennes, France" } @STRING{esop94 = esop # ", Edinburgh, Scotland" } @STRING{esop00 = esop # ", Berlin, Germany" } @STRING{esop01 = esop # ", Genova, Italy" } @STRING{esop02 = esop # ", Grenoble, France" } % --- @STRING{flops04 = flops # ", Nara, Japan" } % --- @STRING{fsttcs93 = fsttcs # ", Bombay, India" } % --- @STRING{hoots00 = hoots # ", Montréal, Québec" } % --- @STRING{icalp98 = icalp # ", Aalborg, Denmark" } % --- @STRING{lfcompsci94 = lfcompsci # ", St. Petersburg, Russia" } % --- @STRING{mfps89 = mfps # ", New Orleans, Louisiana" } @STRING{mfps95 = mfps # ", New Orleans, Louisiana" } @STRING{mfps01 = mfps # ", Aarhus, Denmark" } % --- @STRING{osdi96 = osdi # ", Seattle, Washington" } @STRING{osdi00 = osdi # ", San Diego, California" } % --- @STRING{paste01 = paste # ", Snowbird, Utah" } % --- @STRING{ppdp99 = ppdp # ", Paris France" } @STRING{ppdp01 = ppdp # ", Firenze, Italy" } % --- @STRING{rta03 = rta # ", Valencia, Spain" } % --- @STRING{sas95 = sas # ", Glasgow, Scotland" } @STRING{sas96 = sas # ", Aachen, Germany" } @STRING{sas97 = sas # ", Paris, France" } @STRING{sas01 = sas # ", Paris, France" } % --- @STRING{sosp93 = sosp # ", Asheville, North Carolina" } % --- @STRING{tacs94 = tacs # ", Sendai, Japan" } @STRING{tacs01 = tacs # ", Sendai, Japan" } % --- @STRING{tapsoft93 = tapsoft # ", Orsay, France" } @STRING{tapsoft97 = tapsoft # ", Lille, France" } % --- @STRING{tic97 = tic # ", Amsterdam, The Netherlands"} @STRING{tic98 = tic # ", Kyoto, Japan"} @STRING{tic00 = tic # ", Montréal, Québec" } % --- @STRING{tlca93 = tlca # ", Utrecht, The Netherlands" } @STRING{tlca97 = tlca # ", Nancy, France" } @STRING{tlca99 = tlca # ", L'Aquila, Italy" } @STRING{tlca01 = tlca # ", Krak{\'{o}}ow, Poland" } @STRING{tlca03 = tlca # ", Valencia, Spain" } % --- @STRING{tldi03 = tldi # ", New Orleans, Louisiana"} % --- @STRING{types93 = types # ", Nijmegen, The Netherlands" } @STRING{types98 = types # ", Kloster Irsee, Germany" } % --- % hack to alphabetize funny names (from the LaTeX Companion) @preamble{"\newcommand{\SortNoop}[1]{}"} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% BCP's papers and talks %% %% (chronological order) %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % @misc{ Pierce:gridapple, author = "Benjamin C. Pierce", title = "{\sc Gridapple}: an implementation of the {\sc ESRI} {\sc Grid} system for the {Apple-II}", year = "1981", note = "Marketed by Environmental Systems Research Institute, Redlands, CA", plclub = yes, bcp = yes } @inproceedings{ Pierce82, author = "B. C. Pierce", title = "A Microcomputer-Based Geographic Information System", booktitle = "Proceedings of the Seventh West Coast Computer Faire", month = mar, year = 1982, plclub = yes, bcp = yes } @misc{ Larrabee&82, author = "T. Larrabee and K. McCall and C. Mitchell and B. C. Pierce", title = "Gambit: {A} Video Game Programming Language", howpublished = "Project report for Stanford CS-242 (Programming Language Design)", month = "December", year = 1982, note = "See also: Larrabee, T. and Mitchell, C. ``Gambit: A Prototyping Approach to Video Game Design.'' IEEE Software, Vol. 1 No. 4, Oct. 1984.", plclub = yes, bcp = yes } @inproceedings{ Pierce84, author = "B. C. Pierce", title = "Gridapple: {A} Microcomputer-Based Geographic Information System", booktitle = "Harvard Computer Graphics Week", month = jul, year = 1982, note = "Reprinted in Marble, D., et al, {\em Basic Readings in Geographic Information Systems.} Williamsville, NY: SPAD Systems, Ltd., 1984", plclub = yes, bcp = yes } @misc{ Pierce:arcinfo, author = "Benjamin C. Pierce", title = "{\sc Arc-Info} plotting and display subsystem", year = "1982", note = "Marketed by Environmental Systems Research Institute, Redlands, CA, USA", plclub = yes, bcp = yes } @misc{ Pierce:artemis, author = "Benjamin C. Pierce", title = "{\sc Artemis}: a graphics editor for circuit diagrams", year = "1986", note = "Used internally at DEC Western Research Lab for the design of the {\sc Titan} processor and power/packaging", plclub = yes, bcp = yes } @techreport{ Habermann&88, author = "A. N. Habermann and Charles Krueger and Benjamin Pierce and Barbara Staudt and John Wenn", title = "Programming with Views", institution = "Carnegie Mellon University, Computer Science Department", number = "CMU-CS-87-177", month = jan, year = "1988", plclub = yes, bcp = yes } @techreport{ PIERCE89B, key = "Pierce89b", author = "Benjamin Pierce", title = "A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables", institution = "School of Computer Science, Carnegie Mellon University", type = "Technical Report", number = "CMU-CS-89-169", month = sep, year = "1989", plclub = yes, bcp = yes } @unpublished{ PIERCE89C, key = "PIERCE89C", author = "Benjamin Pierce", title = "Bounded Quantification and Intersection Types", month = sep, year = "1989", note = "Thesis proposal (unpublished)", plclub = yes, bcp = yes } @techreport{ PIERCE89, key = "Pierce89", author = "Benjamin Pierce and Scott Dietzen and Spiro Michaylov", title = "Programming in Higher-order Typed Lambda-Calculi", institution = "Carnegie Mellon University", type = "Technical Report", number = "CMU-CS-89-111", month = mar, year = "1989", plclub = yes, bcp = yes, TR = "http://www.cis.upenn.edu/~bcpierce/papers/leap.pdf", errata = "http://www.cis.upenn.edu/~bcpierce/papers/leap.errata", keys = "typessurveys", } @techreport{ HarperPierce90, author = "Robert W. Harper and Benjamin C. Pierce", title = "Extensible Records Without Subsumption", institution = "School of Computer Science, Carnegie Mellon University", year = "1990", month = feb, type = "Technical Report", number = "CMU-CS-90-102", plclub = yes, bcp = yes } @unpublished{ Pierce90b, author = "Benjamin C. Pierce", title = "Preliminary Investigation of a Calculus with Intersection and Union Types", year = 1990, month = jun, note = "Unpublished manuscript", plclub = yes, bcp = yes } @inproceedings{ HarperPierce91, author = "Robert Harper and Benjamin Pierce", title = "A Record Calculus Based on Symmetric Concatenation", booktitle = popl91, year = 1991, pages = "131--142", month = jan, note = "Extended version available as Carnegie Mellon Technical Report CMU-CS-90-157", plclub = yes, bcp = yes } @book{ PIERCE91, author = "Benjamin C. Pierce", title = "Basic Category Theory for Computer Scientists", year = "1991", publisher = mitpress, fullisbn = "0-262-66071-7", orderinginfo = "MIT PRESS 55 Hayward ST. Cambridge Mass 02142 USA 800-356-0343", europeinfo = "14 Bloomsbury Square London WC1A 2LP U.K. Facsimile: 071-404-0601", plclub = yes, bcp = yes, keys = "books", } @article{ ABADI91, author = "Mart\'{\i}n Abadi and Luca Cardelli and Benjamin Pierce and Gordon Plotkin", title = "Dynamic Typing in a Statically Typed Language", journal = toplas, publisher = "ACM", year = 1991, volume = 13, number = 2, month = apr, pages = "237--268", note = "Summary in \bgroup\em " # popl89 # "\egroup, 1989", plclub = yes, bcp = yes } @article{ ABADI91B, author = "Mart\'{\i}n Abadi and Benjamin Pierce and Gordon Plotkin", title = "Faithful Ideal Models for Recursive Polymorphic Types", journal = "International Journal of Foundations of Computer Science", volume = 2, number = 1, month = mar, year = 1991, pages = "1--21", note = "Summary in Fourth Annual Symposium on Logic in Computer Science, June, 1989", plclub = yes, bcp = yes } @techreport{ Pierce91b, author = "Benjamin C. Pierce", title = "Programming with Intersection Types, Union Types, and Polymorphism", institution = "Carnegie Mellon University", type = "Technical Report", number = "CMU-CS-91-106", month = feb, year = "1991", plclub = yes, bcp = yes } @PhDThesis{ PierceThesis, author = "Benjamin C. Pierce", title = "Programming with Intersection Types and Bounded Polymorphism", school = "Carnegie Mellon University", month = "December", year = "1991", note = "Available as School of Computer Science technical report CMU-CS-91-205", ascii = {Benjamin C. Pierce, "Programming with Intersection Types and Bounded Polymorphism." Ph.D. thesis, Carnegie Mellon University, December, 1991. Available as School of Computer Science technical report CMU-CS-91-205.}, plclub = yes, bcp = yes } @misc{ Pierce:fmeet, author = "Benjamin C. Pierce", title = "{\sc Fmeet}: a polymorphic $\lambda$-calculus with intersection types", year = "1991", plclub = yes, bcp = yes } % Martin Hofmann and Benjamin Pierce, "An Abstract View of Objects and % Subtyping (Preliminary Report)." University of Edinburgh, LFCS % technical report ECS-LFCS-92-226, 1992. @techreport{ HofmannPierce92:TR, author = "Martin Hofmann and Benjamin Pierce", title = "An Abstract View of Objects and Subtyping (Preliminary Report)", institution = "University of Edinburgh, LFCS", type = "Technical Report", number = "ECS-LFCS-92-226", year = "1992", plclub = yes, bcp = yes } @unpublished{ Pierce92d, author = "Benjamin C. Pierce and Robert Pollack", title = "Higher-Order Subtyping", year = "1992", month = aug, note = "Unpublished manuscript", plclub = yes, bcp = yes } @unpublished{ Pierce:delegation, author = "Benjamin C. Pierce", title = "A Model of Delegation Based on Existential Types", year = "1993", month = apr, note = "Available electronically", plclub = yes, bcp = yes, keywords = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/delegation.ps", } @misc{ Pierce:Kyoto-talk, author = "Benjamin C. Pierce", title = "A Typed Higher-Order Programming Language Based on the Pi-Calculus", month = jul, year = "1993", note = "Invited lecture at {\em Workshop on Type Theory and its Application to Computer Systems}, Kyoto University", plclub = yes, bcp = yes } @inproceedings{ PierceRemyTurner93, author = "Benjamin C. Pierce and Didier R\'emy and David N. Turner", title = "A Typed Higher-Order Programming Language Based on the Pi-Calculus", month = jul, year = "1993", booktitle = "Workshop on Type Theory and its Application to Computer Systems, Kyoto University", plclub = yes, bcp = yes } @unpublished{ Pierce92g, author = "Benjamin C. Pierce", title = "F-Omega-Sub User's Manual, Version 1.4", year = "1993", month = feb, note = "Available by FTP as part of the {\tt fomega} implementation", plclub = yes, bcp = yes } @unpublished { Pierce:mutable, author = "Benjamin C. Pierce", title = "Mutable Objects", year = "1993", month = jun, note = "Draft report; available electronically", plclub = yes, bcp = yes, keywords = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/mutable.ps", } % Benjamin C. Pierce and David N. Turner, "Simple Type-Theoretic % Foundations for Object-Oriented Programming." To appear in Journal of % Functional Programming; a preliminary version appeared in Principles % of Programming Languages, 1993, and as University of Edinburgh % technical report ECS-LFCS-92-225, under the title Object-Oriented % Martin Hofmann and Benjamin Pierce, "An Abstract View of Objects and % Subtyping (Preliminary Report)." University of Edinburgh, LFCS % technical report ECS-LFCS-92-226, 1992. % Programming Without Recursive Types. @inproceedings{ PierceTurner92:POPL, author = "Benjamin C. Pierce and David N. Turner", title = "Object-Oriented Programming Without Recursive Types", booktitle = popl93, year = "1993", month = jan, pages = "299--312", plclub = yes, bcp = yes } @unpublished{ Pierce93c, author = "Benjamin Pierce", title = "Object-Oriented Programming in Typed Lambda-Calculus: Exercises and Solutions", year = "1993", month = apr, note = "Lecture notes for 1992 Frankische OOrientierungstage, University of Erlangen, Germany (revised version)", plclub = yes, bcp = yes } @techreport { PierceTurner92b, author = "Benjamin C. Pierce and David N. Turner", title = "Statically Typed Friendly Functions via Partially Abstract Types", institution = "University of Edinburgh, LFCS", type = "Technical Report", number = "ECS-LFCS-93-256", month = apr, year = "1993", note = "Also available as INRIA-Rocquencourt Rapport de Recherche No. 1899", plclub = yes, bcp = yes, keywords = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/friendly.ps", } @misc{ Pierce:JFLA-talk, author = "Benjamin C. Pierce", title = "Typage des Traits Orient\'es-Objets", month = feb, year = "1993", note = "Invited lecture at {\em Journe\'es Francophones des Langages Applicatifs}, Annecy, France", plclub = yes, bcp = yes } @inproceedings{ PierceSangiorgi95, author = "Benjamin C. Pierce and Davide Sangiorgi", title = "Typing and Subtyping for Mobile Processes", booktitle = "Logic in Computer Science", year = "1993", note = "Full version in \bgroup\em Mathematical Structures in Computer Science \egroup, Vol.\ 6, No.\ 5, 1996", full = "http://www.cis.upenn.edu/~bcpierce/papers/pi.ps", plclub = yes, bcp = yes, keys = "pict", } @misc{ Pierce:fomega, author = "Benjamin C. Pierce", title = "{\sc F-Omega-Sub}: a polymorphic $\lambda$-calculus with higher-order subtyping and object-oriented extensions", year = "1993", plclub = yes, bcp = yes } @article { Pierce92a, author = "Benjamin C. Pierce", title = "Bounded Quantification is Undecidable", journal = "Information and Computation", year = 1994, volume = 112, number = 1, pages = "131--165", month = jul, note = "Also in " # taoop # ". Summary in \bgroup \em " # popl92 # "\egroup", plclub = yes, bcp = yes, keys = "subtyping", conf = "http://www.cis.upenn.edu/~bcpierce/papers/fsubpopl.ps", } @misc{ Pierce:COPC-talk, author = "Benjamin C. Pierce", title = "Concurrent Objects in a Process Calculus", note = "Invited lecture at {\em Theory and Practice of Parallel Programming (TPPP)}, Sendai, Japan", year = 1994, month = nov, plclub = yes, bcp = yes } @inproceedings { CastagnaPierce93, author = "Giuseppe Castagna and Benjamin Pierce", title = "Decidable Bounded Quantification", booktitle = proc # " Twenty-First " # popl # ", Portland, Oregon", publisher = "ACM", year = 1994, month = jan, plclub = yes, bcp = yes, keys = "subtyping", ps = "http://www.cis.upenn.edu/~bcpierce/papers/fsubnew.ps", } @inproceedings { PierceSteffen95, author = "Benjamin C. Pierce and Martin Steffen", realauthor = "Benjamin Pierce and Martin Steffen", title = "Higher-Order Subtyping", booktitle = "IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET)", year = 1994, note = "Full version in \bgroup\em Theoretical Computer Science\egroup, vol.~176, no.~1--2, pp.\ 235--282, 1997 (corrigendum in TCS vol.~184 (1997), p.~247)", plclub = yes, bcp = yes, keys = "subtyping", tr = "http://www.cis.upenn.edu/~bcpierce/papers/fomega.ps", } @techreport{ SteffenPierce93:TR, author = "Martin Steffen and Benjamin Pierce", title = "Higher-Order Subtyping", year = "1994", month = jan, institution = "LFCS, University of Edinburgh", number = "ECS-LFCS-94-280", note = "Also available as {Universit\"at Erlangen-N\"urnberg Interner Bericht IMMD7-01/94}. To appear in Theoretical Computer Science.", plclub = yes, bcp = yes } @techreport{ HofmannPierce94a:TR, author = "Martin Hofmann and Benjamin Pierce", title = "Positive Subtyping", year = "1994", month = sep, institution = "LFCS, University of Edinburgh", number = "ECS-LFCS-94-303", plclub = yes, bcp = yes } @article{ PierceTurner92, author = "Benjamin C. Pierce and David N. Turner", title = "Simple Type-Theoretic Foundations for Object-Oriented Programming", note = "Summary in \bgroup\em " # popl93 # "\egroup, 1993", journal = "Journal of Functional Programming", volume = 4, number = 2, month = apr, pages = "207--247", year = "1994", plclub = yes, bcp = yes, pdf = "http://www.cis.upenn.edu/~bcpierce/papers/oop.pdf", ps = "http://www.cis.upenn.edu/~bcpierce/papers/oop.ps", conf = "http://www.cis.upenn.edu/~bcpierce/papers/oop-popl.ps", keywords = "oop", } @article{ Pierce94a, author = "Benjamin C. Pierce", title = "Woggles from {O}z: {W}riting Interactive Fiction", note = "Expanded version available electronically", journal = "Leonardo: Journal of the International Society for the Arts, Sciences, and Technology", year = "1994", plclub = yes, bcp = yes } @article{ HofmannPierce94, author = "Martin Hofmann and Benjamin Pierce", title = "A Unifying Type-Theoretic Framework for Objects", journal = jfp, volume = "5", number = "4", pages = "593--635", month = oct, note = "Previous versions appeared in the Symposium on Theoretical Aspects of Computer Science, 1994, (pages 251--262) and, under the title ``An Abstract View of Objects and Subtyping (Preliminary Report),'' as University of Edinburgh, LFCS technical report ECS-LFCS-92-226, 1992", year = 1995, plclub = yes, bcp = yes, ps = "http://www.cis.upenn.edu/~bcpierce/papers/abstroop.ps", keywords = "oop", } @inproceedings{ PierceTurner94:COPC, author = "Benjamin C. Pierce and David N. Turner", title = "Concurrent Objects in a Process Calculus", booktitle = "Theory and Practice of Parallel Programming (TPPP), Sendai, Japan (Nov.{} 1994)", editor = "Takayasu Ito and Akinori Yonezawa", year = "1995", month = apr, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", number = "907", pages = "187--215", short = "``Concurrent Objects in a Process Calculus,'' Benjamin C. Pierce and David N. Turner, invited lecture at {\it Theory and Practice of Parallel Programming (TPPP)}, Sendai, Japan (Nov.{} 1994). Springer Lecture Notes in Computer Science 907, pp.~187--215", plclub = yes, bcp = yes, keys = "pict", url = "http://www.cis.upenn.edu/~bcpierce/papers/copc.ps", } @inproceedings{ CastagnaPierce95, author = "Giuseppe Castagna and Benjamin Pierce", title = "Corrigendum: Decidable Bounded Quantification", booktitle = proc # " Twenty-Second " # popl # ", Portland, Oregon", publisher = "ACM", year = 1995, month = jan, plclub = yes, bcp = yes, keys = "subtyping", ps = "http://www.cis.upenn.edu/~bcpierce/papers/fsubnew-corrigendum.ps", } @article{ Abadi92, author = "Mart\'{\i}n Abadi and Luca Cardelli and Benjamin Pierce and Didier R\'{e}my", title = "Dynamic Typing in Polymorphic Languages", journal = "Journal of Functional Programming", volume = "5", number = "1", pages = "111--130", month = jan, note = "Summary in \bgroup \em ACM SIGPLAN Workshop on ML and its Applications\egroup, June 1992", year = 1995, plclub = yes, bcp = yes } @misc{ Pierce:LinearPiTalk, author = "Benjamin C. Pierce", title = "Linearity and the Pi-Calculus", note = "Invited lecture at {\em Advances in Type Systems for Computation}, Cambridge, England", year = 1995, month = aug, plclub = yes, bcp = yes } @misc{ KobayashiPierceTurner:LinearPiTR, author = "Naoki Kobayashi and Benjamin C. Pierce and David N. Turner", title = "Linearity and the Pi-Calculus", year = "1995", note = "Technical report, Department of Information Science, University of Tokyo and Computer Laboratory, University of Cambridge", plclub = yes, bcp = yes } @inproceedings{ HofmannPierce94a, author = "Martin Hofmann and Benjamin Pierce", title = "Positive Subtyping", booktitle = popl95, year = "1995", month = jan, pages = "186--197", note = "Full version in \bgroup\em Information and Computation\egroup, volume 126, number 1, April 1996. Also available as University of Edinburgh technical report ECS-LFCS-94-303, September 1994", plclub = yes, bcp = yes, keywords = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/pos.ps", } @misc {Pierce:LICSSurvey, author = "Benjamin C. Pierce", title = "Types and Programming Languages: The Next Generation", note = "Invited tutorial at {\em Logic in Computer Science (LICS)}", year = 2003, plclub = yes, bcp = yes, keys = "typessurveys", slides = "http://www.cis.upenn.edu/~bcpierce/papers/tng-lics2003-slides.pdf", } @misc {Pierce:ModulesTutorial, author = "Benjamin C. Pierce", title = "Advanced Module Systems: A Guide for the Perplexed", note = "Invited tutorial at {\em International Conference on Functional Programming (ICFP)}", year = 2000, plclub = yes, bcp = yes, keys = "typessurveys", slides = "http://www.cis.upenn.edu/~bcpierce/papers/modules-icfp.ps", } @misc{ Pierce:HorizonDayTalk, author = "Benjamin C. Pierce", title = "Using Types to Compare Objects and {ADT}s", note = "Invited lecture at {\em Horizon Day}, Indiana University", year = 1995, month = oct, plclub = yes, bcp = yes } @inproceedings{ BruceCardelliPierce96:old, author = "Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce", title = "Comparing Object Encodings", booktitle = "Invited lecture at Third Workshop on Foundations of Object Oriented Languages (FOOL 3)", year = 1996, month = jul, plclub = yes, bcp = yes } ###techreport{ NestmannPierce96:old, author = "Uwe Nestmann and Benjamin C. Pierce", title = "Decoding Choice Encodings", year = "1996", month = apr, institution = "University of Cambridge and University of Erlangen-Nuernberg", plclub = yes, bcp = yes } @inproceedings {NestmannPierce96, author = "Uwe Nestmann and Benjamin C. Pierce", title = "Decoding Choice Encodings", booktitle = "Proceedings of CONCUR '96", year = 1996, month = aug, note = "Full version in \bgroup\em Information and Computation\egroup, 163(1): 1--59 (2000)", plclub = yes, bcp = yes, full = "http://www.cis.upenn.edu/~bcpierce/papers/choice.ps", keys = "pict", } @unpublished{ Pierce:EvenSimpler, author = "Benjamin C. Pierce", title = "Even simpler type-theoretic foundations for {OOP}", month = mar, year = "1996", note = "Manuscript (circulated electronically)", plclub = yes, bcp = yes } @incollection {Pierce95a, author = "Benjamin C. Pierce", title = "Foundational Calculi for Programming Languages", booktitle = "Handbook of Computer Science and Engineering", chapter = "139", publisher = "CRC Press", year = "1996", editor = "Allen B. Tucker", plclub = yes, bcp = yes, full = "http://www.cis.upenn.edu/~bcpierce/papers/crchandbook.ps", keys = "pict", } @article{ CompagnoniPierce93, author = "Adriana B. Compagnoni and Benjamin C. Pierce", title = "Intersection Types and Multiple Inheritance", pages = {469--501}, journal = mscs, month = oct, year = 1996, volume = 6, number = 5, source = {http://theory.lcs.mit.edu/~dmjones/hbp/mscs/mscs.bib}, note = "Preliminary version available as University of Edinburgh technical report ECS-LFCS-93-275 and Catholic University Nijmegen computer science technical report 93-18, Aug. 1993, under the title ``Multiple Inheritance via Intersection Types''", plclub = yes, bcp = yes } @inproceedings{ KobayashiPierceTurner:LinearPi, author = "Naoki Kobayashi and Benjamin C. Pierce and David N. Turner", title = "Linearity and the Pi-Calculus", year = "1996", booktitle = popl96, note = "Full version in \bgroup\em " # toplas # "\egroup, 21(5), pp. 914--947, September 1999", plclub = yes, bcp = yes } @article{ CompagnoniPierce93:old, author = "Adriana B. Compagnoni and Benjamin C. Pierce", title = "Multiple Inheritance via Intersection Types", journal = mscs, year = 1996, note = "To appear. Preliminary version available as University of Edinburgh technical report ECS-LFCS-93-275 and Catholic University Nijmegen computer science technical report 93-18, Aug. 1993", plclub = yes, bcp = yes } @article { OnBinaryMethods, author = "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", title = "On Binary Methods", journal = "Theory and Practice of Object Systems", volume = 1, number = 3, pages = "221--242", year = 1996, checked = no, plclub = yes, bcp = yes, keywords = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/binary.ps", } @misc{ Pierce:FMOODSTalk, author = "Benjamin C. Pierce", title = "Processes, Types, and Observations", note = "Invited lecture at {\em Formal Methods on Open, Object-Based Distributed Systems (FMOODS)}, Paris", year = 1996, month = mar, plclub = yes, bcp = yes } @unpublished{ Pierce96a, author = "Benjamin C. Pierce", title = "Types", note = "Lecture notes for an undergraduate course at Cambridge University", month = feb, year = 1996, plclub = yes, bcp = yes } @inproceedings {PierceSangiorgi96, author = "Benjamin Pierce and Davide Sangiorgi", title = "Behavioral Equivalence in the Polymorphic Pi-Calculus", year = 1997, booktitle = "Principles of Programming Languages (POPL)", note = "Full version in {\em Journal of the Association for Computing Machinery (JACM)}, 47(3), May 2000", pages = "531--584", full = "http://www.cis.upenn.edu/~bcpierce/papers/polybisim.ps", plclub = yes, bcp = yes, keys = "pict", } @techreport {Pierce:BQB, author = "Benjamin C. Pierce", title = "Bounded Quantification with Bottom", year = "1997", institution = "Computer Science Department, Indiana University", series = "CSCI", number = "492", plclub = yes, bcp = yes, keys = "subtyping", tr = "http://www.cis.upenn.edu/~bcpierce/papers/bqb.ps", } @inproceedings{ BruceCardelliPierce96:TACS, author = "Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce", title = "Comparing Object Encodings", booktitle = tacs, year = 1997, month = sep, note = "An earlier version was presented as an invited lecture at the Third International Workshop on Foundations of Object Oriented Languages (FOOL 3), July 1996; full version in \bgroup\em " # ic # "\egroup, 155(1--2):108-133, 1999" , plclub = yes, bcp = yes } @article{ PierceSteffen95:old, author = "Benjamin Pierce and Martin Steffen", title = "Higher-Order Subtyping", year = 1997, journal = "Theoretical Computer Science", volume = 176, number = "1--2", pages = "235--282", note = "Summary in IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), June 1994; also University of Edinburgh technical report ECS-LFCS-94-280 and {Universit\"at Erlangen-N\"urnberg Interner Bericht IMMD7-01/94}, January 1994.", plclub = yes, bcp = yes } @article{ Pierce92b, author = "Benjamin C. Pierce", title = "Intersection Types and Bounded Polymorphism", pages = {129--193}, journal = mscs, month = apr, year = 1997, volume = 7, number = 2, source = {http://theory.lcs.mit.edu/~dmjones/hbp/mscs/mscs.bib}, note = "Summary in {\em Typed Lambda Calculi and Applications}, March 1993, pp. 346--360", ascii = {Benjamin C. Pierce, "Intersection Types and Bounded Polymorphism." Conference on Typed Lambda Calculi and Applications, March, 1993}, plclub = yes, bcp = yes } @misc{ Pierce:LFPTW, author = "Benjamin C. Pierce", title = "Languages for Programming the Web", month = dec, year = "1997", note = "Course materials for a graduate seminar on the theory and practice of mobile agent programming. Available through {\tt http://www.cis.upenn.edu/$sim$bcpierce/courses/629}.", plclub = yes, bcp = yes } @techreport{ PierceTurner:LTI-FSUB, author = "Benjamin C. Pierce and David N. Turner", title = "Local Type Argument Synthesis with Bounded Quantification", year = "1997", institution = "Computer Science Department, Indiana University", month = jan, series = "CSCI", number = "495", plclub = yes, bcp = yes, TR = "http://www.cis.upenn.edu/~bcpierce/papers/lti-fsub.ps", keys = "inference", } @techreport{ PierceTurner:LTI-TR, author = "Benjamin C. Pierce and David N. Turner", title = "Local Type Inference", year = "1997", institution = "Computer Science Department, Indiana University", series = "CSCI", number = "493", plclub = yes, bcp = yes } @unpublished{ PierceTurner:PictDefn, author = "Benjamin C. Pierce and David N. Turner", title = "Pict Language Definition", year = "1997", note = "Available electronically", plclub = yes, bcp = yes } @unpublished{ PierceTurner:PictLib, author = "Benjamin C. Pierce and David N. Turner", title = "Pict Libraries Manual", year = "1997", note = "Available electronically", plclub = yes, bcp = yes } ###techreport{ PierceTurner:PictDesign, author = "Benjamin C. Pierce and David N. Turner", title = "Pict: A Programming Language Based on the Pi-Calculus", year = "1997", institution = "Computer Science Department, Indiana University", number = "CSCI 476", note = "In {\em Proof, Language and Interaction: Essays in Honour of Robin Milner}, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press, 2000", plclub = yes, bcp = yes } @misc{ PierceTurner:PictCompiler, author = "Benjamin C. Pierce and David N. Turner", title = "Pict: A Programming Language Based on the Pi-Calculus", year = "1997", note = "\URL{http://www.cis.upenn.edu/~bcpierce/papers/pict}", plclub = yes, bcp = yes } @misc{ PictDistribution, author = "Benjamin C. Pierce and David N. Turner", title = "The {Pict} Programming Language", year = "2001", homepage = "http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html", plclub = yes, bcp = yes, keys = "pict", note = "This directory contains various papers, including a tutorial and user's manual, as well as complete compiler sources and installation instructions. (Be sure not to miss the artwork department!)", } @unpublished{ Pierce94b, author = "Benjamin C. Pierce", title = "Programming in the Pi-Calculus: {A} Tutorial Introduction to {P}ict", year = "1997", note = "Available electronically", plclub = yes, bcp = yes } @article {Pierce98:ACReview, author = "Benjamin C. Pierce", title = "Review of {A Theory of Objects}, by {A}badi and {C}ardelli", year = "1997", volume = 40, number = 5, pages = "297--298", journal = "The Computer Journal", source = "Tom Melham", plclub = yes, bcp = yes, keywords = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/ac-review.ps", } @techreport{ HofmannPierce:TD-TR, author = "Martin Hofmann and Benjamin C. Pierce", title = "Type Destructors", year = "1997", institution = "Computer Science Department, Indiana University", series = "CSCI", } @article {GhelliPierce95-OLD, author = "Giorgio Ghelli and Benjamin Pierce", title = "Bounded Existentials and Minimal Typing", year = "1998", volume = 193, pages = "75--96", journal = "Theoretical Computer Science", plclub = yes, bcp = yes, note = "Circulated in manuscript form in 1992", } @misc {GhelliPierce95, author = "Giorgio Ghelli and Benjamin Pierce", title = "Bounded Existentials and Minimal Typing", year = "1992", note = "Circulated in manuscript form. Full version in {\em Theoretical Computer Science}, 193(1--2):75--96, February 1998.", plclub = yes, bcp = yes, keys = "subtyping", ps = "http://www.cis.upenn.edu/~bcpierce/papers/exists.ps", } @techreport{ BalasubramaniamPierce98-TR, author = "S. Balasubramaniam and Benjamin C. Pierce", title = "File Synchronization", institution = "Computer Science Department, Indiana University", series = "CSCI", number = "507", month = apr, year = 1998, plclub = yes, bcp = yes } @inproceedings{ PierceTurner:LTI, author = "Benjamin C. Pierce and David N. Turner", title = "Local Type Inference", year = 1998, booktitle = popl98, note = "Full version in \bgroup\em ACM Transactions on Programming Languages and Systems (TOPLAS)\egroup, 22(1), January 2000, pp.~1--44", plclub = yes, bcp = yes, keys = "inference", TR = "http://www.cis.upenn.edu/~bcpierce/papers/lti.pdf", conf = "http://www.cis.upenn.edu/~bcpierce/papers/lti-popl.pdf", full = "http://www.cis.upenn.edu/~bcpierce/papers/lti-toplas.pdf", } @inproceedings{ HofmannPierce:TD, author = "Martin Hofmann and Benjamin C. Pierce", title = "Type Destructors", booktitle = "Informal proceedings of the Fourth International Workshop on Foundations of Object-Oriented Languages (FOOL)", editor = "Didier R\'e{}my", month = jan, year = "1998", note = "Full version in {\em Information and Computation}, 172(1)29--62 (2002)", plclub = yes, bcp = yes, keys = "oop", conf = "http://www.cis.upenn.edu/~bcpierce/papers/td.ps", } @misc{ Pierce:CONCUR-tutorial, author = "Benjamin C. Pierce", title = "Type Systems for Concurrent Calculi", month = sep, year = "1998", note = "Invited tutorial at {\em CONCUR}, Nice, France", plclub = yes, bcp = yes } @incollection{ BunemanPierce99, author = "Peter Buneman and Benjamin Pierce", booktitle = "Internet Programming Languages", title = "Union Types for Semistructured Data", year = "1998", month = sep, publisher = springer, note = "Proceedings of the International Database Programming Languages Workshop. LNCS 1686", plclub = yes, bcp = yes, keys = "xduce", conf = "http://www.cis.upenn.edu/~bcpierce/papers/utssd.ps" } @inproceedings {BalasubramaniamPierce98, author = "S. Balasubramaniam and Benjamin C. Pierce", title = "What is a file synchronizer?", booktitle = "Fourth Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom '98)", month = oct, year = 1998, note = "Full version available as Indiana University CSCI technical report \#507, April 1998", conf = "http://www.cis.upenn.edu/~bcpierce/papers/snc-mobicom.ps", TR = "http://www.cis.upenn.edu/~bcpierce/papers/snc.ps", slides = "http://www.cis.upenn.edu/~bcpierce/papers/snc-slides.ps", keys = "unison", plclub = yes, bcp = yes } @misc {Pierce:GlobalComputingFoolTalk, author = "Benjamin C. Pierce", title = "Global Computing: Some Questions for {FOOLs}", slides = "gc-fool-slides.ps", plclub = yes, bcp = yes, keys = "concurrencysurveys", note = "Invited talk at FOOL workshop", year = 2001, } @misc {Pierce:TypeSystemsForConcurrencyTalk, author = "Benjamin C. Pierce", title = "Type Systems for Concurrent Calculi", slides = "concur98.ps", plclub = yes, bcp = yes, keys = "concurrencysurveys", note = "Invited tutorial at CONCUR", year = 1998, } @misc {Pierce:FileSyncTheoryAndPracticeSlides, author = "Benjamin C. Pierce", title = "File Synchronization: Theory and Practice", slides = "http://www.cis.upenn.edu/~bcpierce/papers/new-snc-slides.ps", plclub = yes, bcp = yes, keys = "unison", year = 2001, } @misc {Pierce:UnisonAFileSync-Slides, author = "Benjamin C. Pierce", title = "Unison: A file synchronizer and its specification", slides = "http://www.cis.upenn.edu/~bcpierce/papers/snc-tacs-2001Oct.ps", note = "Invited talk at {\em Theoretical Aspects of Computer Software} (TACS), Sendai, Japan", plclub = yes, bcp = yes, keys = "unison", year = 2001, } @misc{ Pierce:snc, author = "Benjamin C. Pierce and Sundar Balasubramaniam, Trevor Jim and Insup Lee and Insik Shin", title = "{\sc Snc}: a file synchronizer", year = "1998", note = "(Superseded by {\sc Unison}.)", plclub = yes, bcp = yes } @inproceedings { IgarashiPierceWadler99, author = "Atsushi Igarashi and Benjamin Pierce and Philip Wadler", title = "Featherweight {J}ava: {A} Minimal Core Calculus for {J}ava and {GJ}", month = oct, booktitle = oopsla, year = "1999", note = "Full version in ACM Transactions on Programming Languages and Systems (TOPLAS), 23(3), May 2001", plclub = yes, bcp = yes, keys = "oop", conf = "http://www.cis.upenn.edu/~bcpierce/papers/fj-oopsla.ps", full = "http://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf", } ###inproceedings{ IgarashiPierceWadler99:old, author = "Atsushi Igarashi and Benjamin Pierce and Philip Wadler", title = "Featherweight {J}ava: {A} Minimal Core Calculus for {J}ava and {GJ}", month = oct, booktitle = oopsla, year = "1999", plclub = yes, bcp = yes } @inproceedings {IgarashiPierce99, author = "Atsushi Igarashi and Benjamin C. Pierce", title = "Foundations for Virtual Types", month = jun, year = 1999, booktitle = ecoop99, note = "Also in informal proceedings of the {\em Workshop on Foundations of Object-Oriented Languages (FOOL)}, January 1999. Full version in {\em Information and Computation}, 175(1): 34--49, May 2002", plclub = yes, bcp = yes, keys = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/vt.ps", } @techreport {HosoyaPierce99, author = "Haruo Hosoya and Benjamin C. Pierce", title = "How Good is Local Type Inference?", institution = "University of Pennsylvania", number = "MS-CIS-99-17", month = jun, year = 1999, plclub = yes, bcp = yes, keys = "inference", tr = "http://www.cis.upenn.edu/~bcpierce/papers/hgilti.ps", } @article{ KobayashiPierceTurner:LinearPi:TOPLAS, author = "Naoki Kobayashi and Benjamin C. Pierce and David N. Turner", title = "Linearity and the {Pi-Calculus}", journal = "ACM Transactions on Programming Languages and Systems", volume = "21", number = "5", pages = "914--947", month = sep, year = "1999", coden = "ATPSDT", fullissn = "0164-0925", bibdate = "Tue Sep 26 10:12:58 MDT 2000", source = "TOPLAS db", note = "Summary in POPL 1996.", keys = "pict", full = "http://www.acm.org/pubs/articles/journals/toplas/1999-21-5/p914-kobayashi/p914-kobayashi.pdf; http://www.acm.org/pubs/citations/journals/toplas/1999-21-5/p914-kobayashi/" , abstract = "The economy and flexibility of the pi-calculus make it an attractive object of theoretical study and a clean basis for concurrent language design and implementation. However, such generality has a cost: encoding higher-level features like functional computation in pi-calculus throws away potentially useful information. We show how a linear type system can be used to recover important static information about a process's behavior. In particular, we can guarantee that two processes communicating over a linear channel cannot interfere with other communicating processes. After developing standard results such as soundness of typing, we focus on equivalences, adapting the standard notion of barbed bisimulation to the linear setting and showing how reductions on linear channels induce a useful ``partial confluence'' of process behaviors. For an extended example of the theory, we prove the validity of a tail-call optimization for higher-order functions represented as processes.", plclub = yes, bcp = yes } @inproceedings {SewellWojciechowskiPierce98, author = "Peter Sewell and Pawel Wojciechowski and Benjamin Pierce", title = "Location Independence for Mobile Agents", booktitle = "Proceedings of {ICCL} '98", editor = "H. E. Bal and B. Belkhouche and L. Cardelli", volume = "1686", series = "lncs", publisher = "Springer-Verlag", month = sep, year = "1999", note = "An earlier version with title {\em Location-Independent Communication for Mobile Agents: a Two-Level Architecture\/} appeared as Technical Report 462, Computer Laboratory, University of Cambridge, April 1999", plclub = yes, bcp = yes, TR = "http://www.cis.upenn.edu/~bcpierce/papers/wipl.ps", official = "http://link.springer.de/link/service/series/0558/bibs/1686/16860001.htm", keys = "mobileagents", } @techreport{ SewellWojciechowskiPierce98:TR, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce}, title = {Location-Independent Communication for Mobile Agents: a Two-Level Architecture}, institution = {Computer Laboratory, University of Cambridge}, year = {1999}, number = {462}, plclub = yes, bcp = yes } @misc{ IgarashiPierce99:FJI:OLD1, author = "Atsushi Igarashi and Benjamin C. Pierce", title = "On Inner Classes", month = jul, year = "1999", note = "Submitted for publication", } @techreport{ LevinPierce99:OLD, author = "Michael Y. Levin and Benjamin C. Pierce", title = "TinkerType: {A} Language for Playing with Formal Systems", month = jul, year = "1999", institution = "Dept of Computer and Information Science, University of Pennsylvania", number = "MS-CIS-99-19", } @inproceedings{ BunemanPierce99:old, author = "Peter Buneman and Benjamin Pierce", booktitle = "Proceedings of the International Database Programming Languages Workshop", title = "Union Types for Semistructured Data", year = "1999", month = sep, note = "Also available as University of Pennsylvania Dept. of Computer and Information Science technical report MS-CIS-99-09", } ###techreport{ BunemanPierce99:TR, author = "Peter Buneman and Benjamin Pierce", title = "Union Types for Semistructured Data", year = "1999", month = apr, institution = "Dept. of Computer and Information Science, University of Pennsylvania", number = "MS-CIS-99-09", plclub = yes, bcp = yes } @misc{ Pierce:unison, author = "Benjamin C. Pierce and Trevor Jim and Jerome Vouillon", title = "{\sc Unison}: A portable, cross-platform file synchronizer", year = "2001--present", note = "\URL{http://www.cis.upenn.edu/~bcpierce/unison}", } @misc {Pierce:harmony, author = "J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt", title = "{\sc Harmony}: A Synchronization Framework for Heterogeneous Tree-Structured Data", year = "2005", note = "\URL{http://www.cis.upenn.edu/~bcpierce/harmony}", } @misc {HarmonyHomepage, key = "AAA", title = "Harmony: A Synchronization Framework for Heterogeneous Tree-Structured Data", note = "\URL{http://www.seas.upenn.edu/~harmony/}", author = "Benjamin C. Pierce and others", year = 2006, } @misc {HarmonyRelationsPoster, author = "Aaron Bohannon and Jeffrey A. Vaughan and Benjamin C. Pierce", title = "Relational Lenses: {A} language for defining updateable views", year = "2005", month = oct, note = "Poster presented at Greater Philadelphia DB/IR Day", bcp = yes, keys = "harmony", pdf = "http://www.cis.upenn.edu/~bcpierce/papers/harmony-relations-dbir-poster.pdf", } @techreport {BohannonPierceVaughanTR, author = "Aaron Bohannon and Jeffrey A. Vaughan and Benjamin C. Pierce", title = "Relational Lenses: {A} Language for Updateable Views", year = "2005", month = dec, keys = "harmony", institution = "Dept. of Computer and Information Science, University of Pennsylvania", number = "MS-CIS-05-27", pdf = "http://www.cis.upenn.edu/~bcpierce/papers/dblenses-tr.pdf", } @inproceedings {BohannonPierceVaughan, author = "Aaron Bohannon and Jeffrey A. Vaughan and Benjamin C. Pierce", title = "Relational Lenses: {A} Language for Updateable Views", year = "2006", booktitle = pods06, note = {Extended version available as University of Pennsylvania technical report MS-CIS-05-27}, bcp = yes, plclub = yes, keys = "harmony", pdf = "http://www.cis.upenn.edu/~bcpierce/papers/dblenses-pods.pdf", tr = "http://www.cis.upenn.edu/~bcpierce/papers/dblenses-tr.pdf", } ###article{ PierceSangiorgi96FullVersion, author = "Benjamin Pierce and Davide Sangiorgi", title = "Behavioral Equivalence in the Polymorphic Pi-Calculus", year = 2000, journal = "Journal of the Association for Computing Machinery (JACM)", note = "To appear", plclub = yes, bcp = yes } @misc{ SahuguetPierceTannen2000, author = "Arnaud Sahuguet and Benjamin Pierce and Val Tannen", title = "Chaining, Referral, Subscription, Leasing: New Mechanisms in Distributed Query Optimization", month = feb, year = "2000", plclub = yes, bcp = yes } @misc{ SahuguetPierceTannen2000a, author = "Arnaud Sahuguet and Benjamin Pierce and Val Tannen", title = "Distributed Query Optimization: Can Mobile Agents Help?", month = feb, year = "2000", plclub = yes, bcp = yes } @inproceedings{ SewellWojciechowskiPierce98:old, author = "Peter Sewell and Pawel T. Wojciechowski and Benjamin C. Pierce", title = "Location Independence for Mobile Agents", year = 2000, note = "To appear in an edited collection of papers (in Springer LNCS) from the {\em Workshop on Internet Programming Languages}, June 1998, Loyola University", plclub = yes, bcp = yes } @misc{ Pierce:ICFP-invited, author = "Benjamin C. Pierce", title = "Module Systems: A Guide for the Perplexed", month = sep, year = "2000", note = "Invited talk at {\em ICFP}, Montreal", plclub = yes, bcp = yes } @inproceedings{ IgarashiPierce99:FJI:OLD, author = "Atsushi Igarashi and Benjamin C. Pierce", title = "On Inner Classes", year = 2000, booktitle = "European Conference on Object-Oriented Programming (ECOOP)", note = "Also in informal proceedings of the Seventh International Workshop on Foundations of Object-Oriented Languages (FOOL). Full version in {\em Information and Computation}", } @article {IgarashiPierce99:FJI, author = {Atsushi Igarashi and Benjamin C. Pierce}, title = {On Inner Classes}, journal = ic, year = 2002, volume = 177, number = 1, pages = {56--89}, month = aug, note = "A special issue with papers from the 7th " # FOOL # ". An earlier version appeared in \emph \bgroup " # proc # " 14th " # ECOOP # "\egroup, Springer LNCS 1850, pages 129--153", plclub = yes, bcp = yes, keys = "oop", conf = "http://www.cis.upenn.edu/~bcpierce/fji.ps", tr = "http://www.cis.upenn.edu/~bcpierce/fji-tr.ps", } @incollection {PierceTurner:PictDesign, author = "Benjamin C. Pierce and David N. Turner", title = "Pict: A Programming Language Based on the Pi-Calculus", year = "2000", booktitle = "Proof, Language and Interaction: Essays in Honour of Robin Milner", editor = "Gordon Plotkin and Colin Stirling and Mads Tofte", publisher = "MIT Press", pages = "455--494", checked = yes, plclub = yes, bcp = yes, full = "http://www.cis.upenn.edu/~bcpierce/papers/pict-design.ps", keys = "pict", } @article {GapeyevLevinPierce2000, author = "Vladimir Gapeyev and Michael Levin and Benjamin Pierce", title = "Recursive Subtyping Revealed", journal = "Journal of Functional Programming", volume = 12, number = 6, pages = "511--548", checked = yes, year = "2003", plclub = yes, bcp = yes, keys = "subtyping", conf = "http://www.cis.upenn.edu/~bcpierce/papers/rsr.ps", note = "Preliminary version in {\em International Conference on Functional Programming (ICFP)}, 2000. Also appears as Chapter 21 of {\em Types and Programming Languages} by Benjamin C. Pierce (MIT Press, 2002)." } @inproceedings { GapeyevLevinPierce2000:ICFP, author = "Vladimir Gapeyev and Michael Levin and Benjamin Pierce", title = "Recursive Subtyping Revealed", booktitle = icfp00, year = "2000", plclub = yes, bcp = yes, note = "To appear in {\em Journal of Functional Programming}" } @inproceedings{ HosoyaVouillonPierce2000ICFP, author = "Haruo Hosoya and J\'er\^ome Vouillon and Benjamin C. Pierce", title = "Regular Expression Types for {XML}", booktitle = "International Conference on Functional Programming (ICFP)", year = "2000", keys = "xduce", conf = "http://www.cis.upenn.edu/~bcpierce/regsub.ps", } ###misc{ HosoyaVouillonPierce2000:OLD, author = "Haruo Hosoya and J\'er\^ome Vouillon and Benjamin C. Pierce", title = "Regular Expression Types for {XML}", month = mar, year = "2000", note = "Submitted for publication", plclub = yes, bcp = yes } @misc {PierceSumii00, author = "Benjamin Pierce and Eijiro Sumii", title = "Relating Cryptography and Polymorphism", month = jul, year = "2000", plclub = yes, bcp = yes, note = "Some parts superseded by \cite{SumiiPierce01}", keys = "security", manuscript = "http://www.cis.upenn.edu/~bcpierce/papers/infohide.ps", } @techreport{ LevinPierce99:OLD1, author = "Michael Y. Levin and Benjamin C. Pierce", title = "TinkerType: {A} Language for Playing with Formal Systems", month = jun, year = "2000", booktitle = "Logical Frameworks and Metalanguages", note = "Invited talk (submitted for journal publication)", plclub = yes, bcp = yes } @inproceedings {HosoyaPierce2000, author = "Haruo Hosoya and Benjamin C. Pierce", title = "{XDuce}: A Typed {XML} Processing Language (Preliminary Report)", booktitle = webdb, editor = "Dan Suciu and Gottfried Vossen", month = may, year = "2000", note = "Reprinted in {\em The Web and Databases, Selected Papers}, Springer LNCS volume 1997, 2001", keys = "xduce", conf = "http://www.cis.upenn.edu/~bcpierce/papers/xduce-prelim.ps", plclub = yes, bcp = yes, } @inproceedings { IgarashiPierceWadler01, author = "Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler", title = "A Recipe for Raw Types", year = 2001, booktitle = "Workshop on Foundations of Object-Oriented Languages (FOOL)", plclub = yes, bcp = yes, keys = "oop", short = "http://www.cis.upenn.edu/~bcpierce/papers/rfgj.ps", } @article { BruceCardelliPierce96, author = "Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce", title = "Comparing Object Encodings", journal = "Information and Computation", year = 1999, month = nov, volume = 155, number = "1/2", pages = "108--133", note = "Special issue of papers from {\em Theoretical Aspects of Computer Software (TACS 1997)}. An earlier version appeared as an invited lecture in the Third International Workshop on Foundations of Object Oriented Languages (FOOL 3), July 1996", plclub = yes, bcp = yes, keys = "oop", ps = "http://www.cis.upenn.edu/~bcpierce/papers/compobj.ps", } @unpublished{ JimPierceVouillon:UnisonSys, author = "Trevor Jim and Benjamin C. Pierce and J\'er\^ome Vouillon", title = "How to Build a File Synchronizer", year = "2003", note = "Manuscript", plclub = yes, bcp = yes, } @inproceedings{ SumiiPierce01:old, author = "Eijiro Sumii and Benjamin C. Pierce", title = "Logical Relations for Encryption", booktitle = "Computer Security Foundations Workshop", month = jun, year = "2001", conf = "http://www.cis.upenn.edu/~bcpierce/papers/infohide2.ps", note = "To appear in {\em Journal of Computer Security}"} @article {SumiiPierce01, author = {Eijiro Sumii and Benjamin C. Pierce}, title = {Logical Relations for Encryption}, journal = {Journal of Computer Security}, year = {2003}, volume = {11}, number = {4}, pages = {521--554}, plclub = yes, bcp = yes, conf = "http://www.cis.upenn.edu/~bcpierce/papers/infohide2.ps", keys = "security", note = {Extended abstract appeared in {\emph{14th IEEE Computer Security Foundations Workshop}}, pp.~256--269, 2001.}, } @inproceedings {HosoyaPierce2001, author = "Haruo Hosoya and Benjamin C. Pierce", title = "Regular Expression Pattern Matching", booktitle = popl01, year = "2001", plclub = yes, bcp = yes, checked = yes, note = "Full version in {\em Journal of Functional Programming}, 13(6), Nov. 2003, pp. 961--1004", full = "http://www.cis.upenn.edu/~bcpierce/papers/tapat.ps", keys = "xduce", } @article {HosoyaVouillonPierce2000, author = "Haruo Hosoya and J\'er\^ome Vouillon and Benjamin C. Pierce", title = "Regular Expression Types for {XML}", journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)", year = "2005", month = jan, volume = 27, number = 1, pages = "46--90", note = "Preliminary version in ICFP 2000", plclub = yes, bcp = yes, checked = yes, keys = "xduce", conf = "http://www.cis.upenn.edu/~bcpierce/papers/regsub.ps", full = "http://www.cis.upenn.edu/~bcpierce/papers/regsub-toplas.pdf", } @article {HosoyaPierce2002, author = "Haruo Hosoya and Benjamin C. Pierce", title = "{XDuce}: A Statically Typed {XML} Processing Language", journal = "ACM Transactions on Internet Technology", year = "2003", volume = 3, number = 2, month = may, pages = "117--148", checked = yes, official = "http://doi.acm.org/10.1145/767193.767195", plclub = yes, bcp = yes, keys = "xduce", } @inproceedings{ Pierce-Sumii-01, author = {Eijiro Sumii and Benjamin Pierce}, title = {The Cryptographic {$\lambda$}-Calculus: Syntax, Semantics, Type System and Logical Relation (in Japanese)}, booktitle = {Informal Proceedings of JSSST Workshop on Programming and Programming Languages (PPL2001)}, year = {2001}, note = {Best paper prize}, plclub = yes, bcp = yes } @misc {XtaticCompiler, author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt}, title = {The {X}tatic Compiler and Runtime System}, year = {2005}, plclub = yes, bcp = yes, keys = "xtatic", sources = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic.tgz", } @phdthesis {LevinThesis, author = "Michael Y. Levin", title = "Run, Xtatic, Run: Efficient Implementation of an Object-Oriented Language with Regular Pattern Matching", school = "University of Pennsylvania", year = "2005", bcp = yes, keys = "xtatic", plclub = yes, pdf = "http://www.cis.upenn.edu/~bcpierce/papers/levin-thesis.pdf", } @inproceedings {GapeyevPierce03, author = {Vladimir Gapeyev and Benjamin C. Pierce}, title = {Regular Object Types}, booktitle = ecoop03, year = {2003}, note = {A preliminary version was presented at FOOL '03}, plclub = yes, bcp = yes, keys = "xtatic", short = "http://www.cis.upenn.edu/~bcpierce/papers/regobj.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/regobj-ecoop-slides.ps", } @article {LevinPierce99, author = "Michael Y. Levin and Benjamin C. Pierce", title = "TinkerType: {A} Language for Playing with Formal Systems", journal = "Journal of Functional Programming", volume = 13, number = 2, month = mar, year = "2003", note = "A preliminary version appeared as an invited paper at the {\em Logical Frameworks and Metalanguages Workshop (LFM)}, June 2000", plclub = yes, bcp = yes, full = "http://www.cis.upenn.edu/~bcpierce/papers/tt-jfp.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/tt-slides.ps", sources = "http://www.cis.upenn.edu/~bcpierce/papers/tt.tar.gz", keys = "modular", } ###@unpublished{ PierceVouillon:UnisonSpec, author = "Benjamin C. Pierce and J\'er\^ome Vouillon", title = "Unison: A File Synchronizer and its Specification", year = "2001", note = "Manuscript", plclub = yes, bcp = yes } @techreport {PierceVouillon:UnisonSpecTR, author = "Benjamin C. Pierce and J\'er\^ome Vouillon", title = "What's in {U}nison? {A} Formal Specification and Reference Implementation of a File Synchronizer", year = "2004", institution = "Dept. of Computer and Information Science, University of Pennsylvania", number = "MS-CIS-03-36", plclub = yes, bcp = yes, tr = "http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf", keys = "unison", } @book{ Pierce:TypeSystems, author = "Benjamin C. Pierce", title = "Types and Programming Languages", publisher = "MIT Press", year = 2002, plclub = yes, bcp = yes, keys = "books", homepage = "http://www.cis.upenn.edu/~bcpierce/tapl", errata = "http://www.cis.upenn.edu/~bcpierce/tapl/errata.txt", } @book {ATTAPL, editor = "Benjamin C. Pierce", title = "Advanced Topics in Types and Programming Languages", publisher = "MIT Press", year = 2005, plclub = yes, bcp = yes, keys = "books", homepage = "http://www.cis.upenn.edu/~bcpierce/attapl", } @incollection {HarperPierce04, author = {Robert Harper and Benjamin C. Pierce}, title = {Design Issues in Advanced Module Systems}, booktitle = {Advanced Topics in Types and Programming Languages}, publisher = {MIT Press}, year = {2005}, editor = {Benjamin C. Pierce}, } @proceedings {ISSS2002, title = "Software Security -- Theories and Systems", editor = "M. Okada and B. Pierce and A. Scedrov and H. Tokuda and A. Yonezawa", series = "Lecture Notes in Computer Science", number = "2609", publisher = springer, optaddress = "Berlin", year = "2003", note = "Revised papers from the Mext-NSF-JSPS {\em International Symposium on Software Security}, Tokyo, Japan, November 8-10, 2002", isbn = "3-540-00708-3", plclub = yes, bcp = yes, } @proceedings {TACS2001, title = "Theoretical Aspects of Computer Software (TACS), 4th International Symposium", editor = "Naoki Kobayashi and Benjamin C. Pierce", series = "Lecture Notes in Computer Science", number = "2215", publisher = springer, optaddress = "Berlin", year = "2001", location = "Sendai, Japan, October 29-31, 2001", isbn = "3-540-42736-8", plclub = yes, bcp = yes, } @unpublished { LensesandUpdates2003, author = "Benjamin C. Pierce and Alan Schmitt", title = "Lenses and View Update Translation", year = "2003", note = "Manuscript; available from \verb|http://www.cis.upenn.edu/~bcpierce/harmony|", manuscript = "http://www.cis.upenn.edu/~bcpierce/papers/dblenses.pdf", } @techreport { HocusFocusTR2003, author = "Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt and Nate Foster", title = "A Language for Bi-Directional Tree Transformations", year = 2003, type = "Technical Report", number = "MS-CIS-03-08", institution = " University of Pennsylvania", note = "Revised May 15, 2004", } % institution = "Department of Computer and Information Science, % University of Pennsylvania" @inproceedings {nwaysync, booktitle = disc06, editor = "Shlomi Dolev", author = "Michael B. Greenwald and Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce and Alan Schmitt", title = "Agreeing to Agree: {C}onflict Resolution for Optimistically Replicated Data", keys = "harmony", plclub = yes, bcp = yes, year = 2006, short = "http://www.cis.upenn.edu/~bcpierce/papers/nway-disc.pdf", tr = "http://www.cis.upenn.edu/~bcpierce/papers/nway-tr.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/nway-disc-slides.pdf", } @techreport {nwaysyncTR, author = "Michael B. Greenwald and Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce and Alan Schmitt", title = "Agreeing to Agree: {C}onflict Resolution for Optimistically Replicated Data", year = 2006, type = "Technical Report", number = "MS-CIS-06-10", institution = " University of Pennsylvania", note = "Short version in {\em DISC 2006}", short = "http://www.cis.upenn.edu/~bcpierce/papers/nway-disc.pdf", } ### unpublished {nwaysync-old, author = "Michael B. Greenwald and Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce and Alan Schmitt", title = "Agreement is Quicker than Domination: Conflict Resolution for Optimistically Replicated Data", year = 2005, note = "Submitted for publication; available electronically", short = "http://www.cis.upenn.edu/~bcpierce/papers/nway-short.pdf", plclub = yes, bcp = yes, keys = "harmony", } @inproceedings {diff3, author = "Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce", title = "A Formal Investigation of Diff3", year = 2007, month = dec, short = "http://www.cis.upenn.edu/~bcpierce/papers/diff3-short.pdf", plclub = yes, bcp = yes, keys = "harmony", booktitle = fsttcs, editor = "Arvind and Prasad", } @techreport {FocalTR2004, author = "J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt", title = "Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem", month = aug, year = 2004, type = "Technical Report", number = "MS-CIS-04-15", institution = "University of Pennsylvania", TR = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-full.pdf", note = {An earlier version appeared in the {\em Workshop on Programming Language Technologies for XML (PLAN-X)}, 2004, under the title ``A Language for Bi-Directional Tree Transformations''}, } % institution = "Department of Computer and Information Science, % University of Pennsylvania" ### inproceedings {Focal2005-old, author = "J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt", title = "Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem", booktitle = popl05, year = "2005", conf = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf", tr = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-full.pdf", full = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-full-toplas.pdf", note = {Extended version available as University of Pennsylvania technical report MS-CIS-03-08. Earlier version presented at the {\em Workshop on Programming Language Technologies for XML (PLAN-X)}, 2004}, bcp = yes, keys = "harmony", } % institution = "Department of Computer and Information Science, % University of Pennsylvania" @article {Focal2005, author = "J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt", title = "Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem", journal = toplas, volume = {29}, number = {3}, issn = {0164-0925}, pages = {17}, year = "2007", conf = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf", full = "http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-final.pdf", fullappendix = "http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-electronic-appendix.pdf", note = {Extended abstract presented at {\em Principles of Programming Languages (POPL)}, 2005}, } % institution = "Department of Computer and Information Science, % University of Pennsylvania" @article {Focal2005-long, author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt}, title = {Combinators for bidirectional tree transformations: {A} linguistic approach to the view-update problem}, journal = toplas, volume = {29}, number = {3}, pages = {17}, month = may, year = {2007}, publisher = {ACM Press}, address = {New York, NY, USA}, conf = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf", full = "http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-final.pdf", fullappendix = "http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-electronic-appendix.pdf", doi = "http://portal.acm.org/citation.cfm?doid=1232420.1232424", note = {Preliminary version presented at the {\em Workshop on Programming Language Technologies for XML (PLAN-X)}, 2004; extended abstract presented at {\em Principles of Programming Languages (POPL)}, 2005}, bcp = yes, plclub = yes, keys = "harmony", } % institution = "Department of Computer and Information Science, % University of Pennsylvania" @article {Focal2005-oldlong, author = "J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt", title = "Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem", journal = toplas, year = "2007", conf = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf", full = "http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-final.pdf", fullappendix = "http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-electronic-appendix.pdf", note = {To appear. Extended version available as University of Pennsylvania technical report MS-CIS-03-08. Preliminary version presented at the {\em Workshop on Programming Language Technologies for XML (PLAN-X)}, 2004; extended abstract presented at {\em Principles of Programming Languages (POPL)}, 2005}, } % institution = "Department of Computer and Information Science, % University of Pennsylvania" @inproceedings {Focal:2004:PLANX, author = "Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt", booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X)}, title = "A Language for Bi-Directional Tree Transformations", month = jan, year = 2004, note = "Long version available as University of Pennsylvania technical report MS-CIS-03-08", } @misc {Pierce:NEPLS2004, author = "Benjamin C. Pierce", title = "Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem", month = oct, year = 2004, slides = "http://www.cis.upenn.edu/~bcpierce/papers/newlenses-slides.pdf", note = "Invited talk at {\em New England Programming Languages Symposium}", plclub = yes, bcp = yes, keys = "harmony", } % institution = "Department of Computer and Information Science, % University of Pennsylvania" @misc {Pierce:LinksTalk2005, author = "Benjamin C. Pierce", title = "Fancy Types for XML: Friend or Foe?", month = apr, year = 2005, slides = "http://www.cis.upenn.edu/~bcpierce/papers/linkstalk-200504.pdf", note = "Talk at {\em LINKS} workshop, April 2005", plclub = yes, bcp = yes, keys = "xtatic", } @misc {Pierce:HarmonyTalkTGC, author = "Benjamin C. Pierce", title = "Harmony: {T}he Art of Reconciliation", month = apr, year = 2005, slides = "http://www.cis.upenn.edu/~bcpierce/papers/harmony-tgc-talk-2005.pdf", note = "Invited talk at {\em Trusted Global Computing} conference, April 2005", plclub = yes, bcp = yes, keys = "harmony", } @misc {Pierce:HarmonyTalk2003, author = "Benjamin C. Pierce", title = "Harmony: A Synchronization Framework for Tree-Structured Data", month = sep, year = 2003, slides = "http://www.cis.upenn.edu/~bcpierce/papers/harmonyslides-2003aug.pdf", note = "Slides from a talk presented in several places (Cambridge, Edinburgh, Philadelphia, Princeton) in Fall 2003", plclub = yes, bcp = yes, keys = "harmony", } @misc {Pierce:ETAPSTalk2006, author = "Benjamin C. Pierce", title = "The Weird World of Bi-Directional Programming", month = mar, year = 2006, slides = "http://www.cis.upenn.edu/~bcpierce/papers/lenses-etapsslides.pdf", note = "ETAPS invited talk", plclub = yes, bcp = yes, keys = "harmony", } @misc {PierceFSTTCS07, author = "Benjamin C. Pierce", title = "Adventures in Bi-Directional Programming", month = dec, year = 2007, slides = "http://www.cis.upenn.edu/~bcpierce/papers/boomerang-fsttcs.pdf", note = "FSTTCS invited talk", plclub = yes, bcp = yes, keys = "harmony", } @misc {Pierce:MFPSTalk2008, author = "Benjamin C. Pierce", title = "Types Considered Harmful", month = may, year = 2008, slides = "http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf", note = "invited talk at {\em Mathematical Foundations of Programming Semantics (MFPS)}", plclub = yes, bcp = yes, keys = "harmony", } @misc {Pierce:EPFLTalk2002, author = "Benjamin C. Pierce", title = "Synchronize globally, compute locally", month = jul, year = 2002, slides = "http://www.cis.upenn.edu/~bcpierce/papers/harmonyslides-epfl.ps", note = "Keynote address at {\em Research Day on Global Computing}, EFPL, Lausanne", plclub = yes, bcp = yes, keys = "harmony", } @techreport { HocusFocusTR2003-old, author = "Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt", title = "A Language for Bi-Directional Tree Transformations", year = 2003, type = "Technical Report", number = "MS-CIS-03-08", institution = " University of Pennsylvania", plclub = yes, bcp = yes, note = "Revised April 2004", } @techreport {HarmonyOverview, author = "Benjamin C. Pierce and Alan Schmitt and Michael B. Greenwald", title = "Bringing {H}armony to Optimism: {A} Synchronization Framework for Heterogeneous Tree-Structured Data", year = 2003, type = "Technical Report", number = "MS-CIS-03-42", institution = "University of Pennsylvania", plclub = yes, bcp = yes, tr = "http://www.cis.upenn.edu/~bcpierce/papers/harmony-sync-tr.pdf", keys = "harmony", note = "Superseded by MS-CIS-05-02", } @techreport {SYNCTR2005, author = "J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt", title = "Schema-Directed Data Synchronization", month = mar, year = 2005, type = "Technical Report", number = "MS-CIS-05-02", institution = "University of Pennsylvania", note = {Supersedes MS-CIS-03-42}, TR = "http://www.cis.upenn.edu/~bcpierce/papers/sync-tr.pdf", bcp = yes, } ### inproceedings {SYNC2005old, author = "J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt", title = "Exploiting Schemas in Data Synchronization", month = aug, year = 2005, pages = "42--57", booktitle = DBPL05, TR = "http://www.cis.upenn.edu/~bcpierce/papers/sync-tr.pdf", short = "http://www.cis.upenn.edu/~bcpierce/papers/sync-dbpl.pdf", slides = "http://www.cis.upenn.edu/~jnfoster/papers/schema-sync-slides.pdf", full = "http://www.cis.upenn.edu/~jnfoster/papers/schema-sync-full.pdf", keys = "harmony", plclub = yes, bcp = yes, } @article {SYNC2005, author = "J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt", title = "Exploiting Schemas in Data Synchronization", journal = jcss, volume = {73}, number = {4}, pages = {669--689}, year = 2007, note = "Extended abstract in {\em Database Programming Languages (DBPL)} 2005", tr = "http://www.cis.upenn.edu/~bcpierce/papers/sync-tr.pdf", short = "http://www.cis.upenn.edu/~bcpierce/papers/sync-dbpl.pdf", slides = "http://www.cis.upenn.edu/~jnfoster/papers/schema-sync-slides.pdf", full = "http://www.cis.upenn.edu/~bcpierce/papers/sync-jcss.pdf", keys = "harmony", plclub = yes, bcp = yes, } ### @unpublished { HocusFocus2003, author = "Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt", title = "A Language for Bi-Directional Tree Transformations", year = 2003, institution = "Department of Computer and Information Science, University of Pennsylvania", note = "Manuscript; available at \url{http://www.cis.upenn.edu/~bcpierce/papers/lenses.pdf}", plclub = yes, bcp = yes, } @inproceedings {SumiiPierce2004, author = "Eijiro Sumii and Benjamin C. Pierce", title = "A Bisimulation for Dynamic Sealing", booktitle = popl04, year = "2004", plclub = yes, bcp = yes, keys = "security", conf = "http://www.cis.upenn.edu/~bcpierce/papers/infohide3.pdf", note = "Full version in {\em Theoretical Computer Science} 375 (2007), 169--192", } @inproceedings {SumiiPierce2005, author = "Eijiro Sumii and Benjamin C. Pierce", title = "A Bisimulation for Type Abstraction and Recursion", booktitle = popl05, year = "2005", keys = "security", short = "http://www.cis.upenn.edu/~bcpierce/papers/infohide5-popl.pdf", full = "http://www.cis.upenn.edu/~bcpierce/papers/infohide5-jacm.pdf", plclub = yes, bcp = yes, note = "Full version in {\em J. ACM}, 54 (5), 2007", } @inproceedings {XtaticRuntime, title = "{XML} Goes Native: {R}un-time Representations for {Xtatic}", author = "Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt", year = 2005, month = apr, booktitle = "14th International Conference on Compiler Construction", conf = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-runtime-CC.pdf", tr = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-runtime-TR.pdf", plclub = yes, bcp = yes, keys = "xtatic", } @techreport {XtaticRuntime:TR, title = "{XML} Goes Native: {R}un-time Representations for {Xtatic}", author = "Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt", year = 2004, month = oct, type = "Technical Report", number = "MS-CIS-04-23", institution = "University of Pennsylvania", tr = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-runtime-TR.pdf", } @techreport {XTProgrTR, title = "Statically Typed Document Transformation: {A}n {Xtatic} Experience", author = "Vladimir Gapeyev and Fran\c{c}ois Garillot and Benjamin C. Pierce", year = 2005, type = "Technical Report", number = "MS-CIS-05-21", institution = "University of Pennsylvania", month = oct, tr = "http://www.cis.upenn.edu/~bcpierce/papers/xtprogr-tr.pdf", } @inproceedings {XTProgr, title = "Statically Typed Document Transformation: {A}n {Xtatic} Experience", author = "Vladimir Gapeyev and Fran\c{c}ois Garillot and Benjamin C. Pierce", year = 2006, month = jan, booktitle = "Workshop on Programming Language Technologies for XML (PLAN-X), informal proceedings", pdf = "http://www.cis.upenn.edu/~bcpierce/papers/xtprogr-planx.pdf", tr = "http://www.cis.upenn.edu/~bcpierce/papers/xtprogr-tr.pdf", keys = "xtatic", bcp = yes, plclub = yes, note = "Available from the Xtatic web site", } @techreport {XtaticExperienceTR, title = "The {Xtatic} Experience", author = "Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt", year = 2004, type = "Technical Report", number = "MS-CIS-04-24", institution = "University of Pennsylvania", month = oct, tr = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-TR.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-slides.pdf", } @inproceedings {XtaticExperience, title = "The {Xtatic} Experience", author = "Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt", booktitle = "Workshop on Programming Language Technologies for XML (PLAN-X)", plclub = yes, bcp = yes, month = jan, year = 2005, note = "University of Pennsylvania Technical Report MS-CIS-04-24, Oct 2004", keys = "xtatic", tr = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-TR.pdf", slides = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-slides.pdf", } @techreport {GapeyevPierce2004, title = "Paths into Patterns", author = "Vladimir Gapeyev and Benjamin C. Pierce", year = 2004, month = oct, type = "Technical Report", number = "MS-CIS-04-25", institution = "University of Pennsylvania", plclub = yes, bcp = yes, keys = "xtatic", TR = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-pathambig-TR.pdf", } @inproceedings {LevinPierce04, author = {Michael Y. Levin and Benjamin C. Pierce}, title = {Typed-based optimization for Regular Patterns}, booktitle = {First International Workshop on High Performance XML Processing}, year = {2004}, url = {http://wam.inrialpes.fr/www-workshop2004/Program.html}, short = "typebasedoptimization-short.pdf", keys = "xtatic", slides = "typebasedoptimization-slides.pdf", } @inproceedings {SchmittXtaticFOOLtalk, title = "Native {XML} Processing in Object-Oriented Languages: {C}alling {XMHell} from {PurgatOOry}", author = "Alan Schmitt", booktitle = fool, year = 2004, month = jan, note = "Invited talk", slides = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-fool2003-slides.pdf", keys = "xtatic", } @misc {XtaticSummaryTalk2004, title = "Native {XML} Processing in a Statically Typed Language: {A} Progress Report on the {Xtatic} Project", author = "Benjamin C. Pierce", year = 2004, month = mar, slides = "http://www.cis.upenn.edu/~bcpierce/papers/xtatic-progrep-2004-slides.pdf", keys = "xtatic", } @inproceedings {poplmark, author = {Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich and Steve Zdancewic}, title = {Mechanized metatheory for the masses: {T}he {POPLmark} Challenge}, booktitle = "International Conference on Theorem Proving in Higher Order Logics (TPHOLs)", year = 2005, month = {August}, ps = {http://www.cis.upenn.edu/~geoffw/research/papers/poplmark.ps} , psgz = {http://www.cis.upenn.edu/~geoffw/research/papers/poplmark.ps.gz} , pdf = {http://www.cis.upenn.edu/~geoffw/research/papers/poplmark.pdf} , plclub = yes, bcp = yes, keys = "poplmark", abstract = {How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machine-checked proofs? We propose a concrete set of benchmarks for measuring progress in this area. Based on the metatheory of System F-sub, a typed lambda-calculus with second-order polymorphism, subtyping, and records, these benchmarks embody many aspects of programming languages that are challenging to formalize: variable binding at both the term and type levels, syntactic forms with variable numbers of components (including binders), and proofs demanding complex induction principles. We hope that these benchmarks will help clarify the current state of the art, provide a basis for comparing competing technologies, and motivate further research.} } @techreport {LevinPierce05TR, title = "Type-based Optimization for Regular Patterns", author = "Michael Y. Levin and Benjamin C. Pierce", year = 2005, type = "Technical Report", number = "MS-CIS-05-13", institution = "University of Pennsylvania", month = jun, tr = "http://www.cis.upenn.edu/~bcpierce/papers/tb-TR.pdf", } @inproceedings {LevinPierce05, title = "Type-based Optimization for Regular Patterns", author = "Michael Y. Levin and Benjamin C. Pierce", booktitle = dbpl05, year = 2005, month = aug, bcp = yes, plclub = yes, keys = "xtatic", tr = "http://www.cis.upenn.edu/~bcpierce/papers/tb-TR.pdf", } @unpublished {InCertProposal06, title = "Manifest Security for Distributed Information", author = "Karl Crary and Robert Harper and Frank Pfenning and Benjamin C. Pierce and Stephanie Weirich and Stephan Zdancewic", year = 2006, month = mar, keys = "security", note = "White paper", pdf = "http://www.cis.upenn.edu/~bcpierce/papers/incertproposal06.pdf", } @unpublished {InCertProposal07, title = "Manifest Security", author = "Karl Crary and Robert Harper and Frank Pfenning and Benjamin C. Pierce and Stephanie Weirich and Stephan Zdancewic", year = 2007, month = jan, bcp = yes, keys = "security", plclub = yes, note = "White paper", pdf = "http://www.cis.upenn.edu/~bcpierce/papers/manifestsecurity-whitepaper.pdf", } @proceedings {ICFP05, title = "International Conference on Functional Programming (ICFP)", editor = "Benjamin C. Pierce", publisher = acmpress, year = "2005", location = "Tallinn, Estonia, September 2005", plclub = yes, bcp = yes, } @inproceedings {Foster:FTL, author = "J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt", title = "A Logic Your Typechecker Can Count On: {U}nordered Tree Types in Practice", booktitle = "Workshop on Programming Language Technologies for XML (PLAN-X), informal proceedings", year = "2007", month = jan, bcp = yes, keys = "harmony", plclub = yes, conf = {http://www.cis.upenn.edu/~bcpierce/papers/dtts.pdf}, slides = {http://www.cis.upenn.edu/~bcpierce/papers/dtts-slides.pdf}, } @misc {Chargueraud06:old, author = "Arthur Chargu\'eraud and Benjamin C. Pierce and Stephanie Weirich", title = "Proof Engineering: {P}ractical Techniques for Mechanized Metatheory", year = "2006", month = sep, note = "Manuscript", short = "http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf", } @misc {Aydemir07:old, author = "Brian Aydemir and Arthur Chargu\'eraud and Benjamin C. Pierce and Stephanie Weirich", title = "Engineering Aspects of Formal Metatheory", year = "2007", note = "Manuscript", short = "http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf", } @misc {Kennedy06, author = "Andrew J. Kennedy and Benjamin C. Pierce", title = "On Decidability of Nominal Subtyping with Variance", year = "2006", month = sep, bcp = yes, keys = "oop,subtyping", plclub = yes, note = "FOOL-WOOD '07", short = "http://www.cis.upenn.edu/~bcpierce/papers/variance.pdf", } @misc {Bohannon07, author = "Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt", title = "Resourceful Lenses for Ordered Data", year = "2007", month = apr, note = "Submitted for publication", short = "http://www.cis.upenn.edu/~bcpierce/papers/resourceful.pdf", } @inproceedings {Aydemir08, author = {Brian Aydemir and Arthur Chargu\'{e}raud and Benjamin C. Pierce and Randy Pollack and Stephanie Weirich}, title = {Engineering formal metatheory}, year = {2008}, pages = {3--15}, publisher = {ACM}, booktitle = popl08, year = {2008}, month = jan, bcp = yes, keys = "poplmark", plclub = yes, short = "http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf", } @misc {Aydemir07a:old, author = "Brian Aydemir and Arthur Chargu{é}raud and Benjamin C. Pierce and Randy Pollack and Stephanie Weirich", title = "Engineering Formal Metatheory", year = "2007", month = jul, keys = "poplmark", note = "Submitted for publication", short = "http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf", } @misc {Pierce08LambdaTA, author = "Benjamin C. Pierce", title = "Using a Proof Assistant to Teach Programming Language Foundations, or, Lambda, the Ultimate {TA}", year = "2008", month = apr, bcp = yes, keys = "poplmark", plclub = yes, note = "White paper", short = "http://www.cis.upenn.edu/~bcpierce/papers/plcurriculum.pdf", } @inproceedings{Boomerang07, author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt}, title = {Boomerang: Resourceful Lenses for String Data}, booktitle = popl08, year = {2008}, month = jan, bcp = yes, keys = "harmony", plclub = yes, short = "http://www.cis.upenn.edu/~bcpierce/papers/boomerang.pdf", tr = "http://www.cis.upenn.edu/~bcpierce/papers/boomerang-tr.pdf", } @TechReport{Boomerang07-TR, author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt}, title = {Boomerang: Resourceful Lenses for String Data}, institution = {Dept. of CIS, University of Pennsylvania}, year = {2007}, month = jul, keys = "harmony", short = "http://www.cis.upenn.edu/~bcpierce/papers/boomerang.pdf", tr = "http://www.cis.upenn.edu/~bcpierce/papers/boomerang-tr.pdf", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Entries for ATTAPL %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% @string {DIKU = "University of Copenhagen, Department of Computer Science"} %%% AAA %%% @InProceedings{aiken-wimmers-lakshman-94, author = "Alexander S. Aiken and Edward L. Wimmers and T. K. Lakshman", booktitle = popl94, title = "Soft Typing with Conditional Types", year = "1994", month = jan, pages = "163--173", } @Article{ancona+:mixins, author = {Davide Ancona and Elena Zucca}, title = {A Theory of Mixin Modules: Basic and Derived Operators}, journal = mscs, year = 1998, volume = 8, number = 4, pages = {401--446}, month = {August}, } @Article{ancona+:modules, author = {Davide Ancona and Elena Zucca}, title = {A Calculus of Module Systems}, journal = jfp, year = 2002, volume = 12, number = 2, pages = {91--132}, month = {March}, } @Article{adams+:cut-off-comp, author = "Rolf Adams and Walter Tichy and Annette Weinert", title = "The Cost of Selective Recompilation and Environment Processing", journal = "{ACM} Transactions on Software Engineering and Methodology", year = 1994, volume = 3, number = 1, month = jan, pages = "3--28", annote = "Cutoff recompilation and alternatives.", } @inproceedings{AppelFPCC, author = "Andrew W. Appel", title = "Foundational proof-carrying code", booktitle = lics01, year = 2001, month = jun, pages = "247--258", } @InProceedings{AppelFeltyFPCC, author = "Andrew W. Appel and Amy P. Felty", title = "A semantic model of types and machine instructions for proof-carrying code", booktitle = popl00, fullpublisher = "ACM Press", year = 2000, month = jan, pages = "243--253", } @Book{ANN98book, author= "Torben Amtoft and Flemming Nielson and Hanne Riis Nielson", title = "Type and Effect Systems: Behaviours for Concurrency", publisher = "Imperial College Press", year = "1999", } @InProceedings{Aiken-Faehndrich-Levien:1995, author = "Alexander Aiken and Manuel F{\"{a}}hndrich and Raph Levien", title = "Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages", booktitle = pldi95, month = jun, year = 1995, pages = "174--185", fullurl = "http://theory.stanford.edu/~aiken/publications/papers/pldi95.ps", } @PhdThesis{Altenkirch93thesis, author = {Thorsten Altenkirch}, title = {Constructions, Inductive Types and Strong Normalization}, school = lfcs, number = {ECS--LFCS--93--279}, year = 1993, address = "Edinburgh, Scotland", } % url = {http://www.lfcs.informatics.ed.ac.uk/reports/93/ECS-LFCS-93-279/index.html} @inproceedings {aiken:pldi03, author = {Alexander Aiken and Jeffrey S. Foster and John Kodumal and Tachio Terauchi}, title = {Checking and Inferring Local Non-Aliasing}, booktitle = pldi03, year = 2003, pages = "129--140", month = jun, bcpnote = "The title page actually says 'alex aiken' :-(", } @InProceedings{ahmed+:stack-logic, author = {Amal Ahmed and David Walker}, title = {The Logical Approach to Stack Typing}, booktitle = tldi03, year = {2003}, month = jan, pages = "74--85", } @InProceedings{ahmed+:hierarchical-storage, author = {Amal Ahmed and Limin Jia and David Walker}, title = {Reasoning about Hierarchical Storage}, booktitle = lics03, year = {2003}, month = jun, pages = "33--44", } %JNF -- entry aspinall94subtyping in bcp.bib should be updated with LNCS info. @PHDTHESIS{aspinall:thesis, AUTHOR="David Aspinall", TITLE="{Type Systems for Modular Programs and Specifications}", SCHOOL="Department of Computer Science, University of Edinburgh", YEAR="1997", ADDRESS="Edinburgh, Scotland", } @InProceedings{aspinall+:in-place-update, author = {David Aspinall and Martin Hofmann}, title = {Another Type System for In-place Update}, booktitle = esop02, pages = "36--52", year = {2002}, month = apr, series = lncs, volume = "2305", publisher = springer, } %%% BBB %%% @InProceedings{bonniot-02, author = "Daniel Bonniot", title = "Type-checking multi-methods in {ML} (a modular approach)", booktitle = fool, year = "2002", month = jan, } @TechReport{Berthomieu/tagged-types, author = "Bernard Berthomieu", title = "Tagged Types: {A} theory of order sorted types for tagged expressions", institution = "LAAS", year = 1993, type = "Research Report", number = 93083, address = "7, avenue du Colonel Roche, 31077 Toulouse, France", month = mar, pages = "59", } @InProceedings{berthomieu-sagazan-95, author = "Bernard Berthomieu and Camille {le Moniès de Sagazan}", title = "A Calculus of Tagged Types, with applications to process languages", booktitle = tpa, pages = "1--15", year = "1995", month = may, } @Unpublished{bernstein-stark-95, author = "K. Bernstein and E. W. Stark", title = "Debugging Type Errors", year = "1995", month = nov, note = "\url{http://bsd7.starkhome.cs.sunysb.edu/~stark/REPORTS/debugtype.ps.gz}", } @Article{beaven-stansifer-93, author = "Mike Beaven and Ryan Stansifer", title = "Explaining type errors in polymorphic languages", journal = "ACM Letters on Programming Languages and Systems", volume = "2", number = "4", pages = "17--30", month = mar, year = "1993", } @Article{bugliesi-pericas-02, author = "Michele Bugliesi and Santiago M. Peric{á}s-Geertsen", title = "Type Inference for Variant Object Types", journal = ic, year = "2002", volume = "177", number = "1", pages = "2--27", month = aug, } @InProceedings{bracha+:mixins, author = {Gilad Bracha and William R. Cook}, title = "Mixin-Based Inheritance", booktitle = ecoop90, pages = "303--311", year = 1990, month = oct, } @InProceedings{biagioni+:signatures-foxnet, author = "Edoardo Biagioni and Nicholas Haines and Robert Harper and Peter Lee and Brian G. Milnes and Eliot B. Moss", title = "Signatures for a Protocol Stack: A Systems Application of {Standard ML}", booktitle = lfp94, year = 1994, month = jun, pages = "55--64", } @article{ blume+:hierarchical, author = "Matthias Blume and Andrew W. Appel", title = "Hierarchical modularity", journal = toplas, volume = "21", number = "4", pages = "813--847", year = "1999", fullurl = "http://citeseer.nj.nec.com/blume98hierarchical.html", } @Manual{blume:smlnj-cm, title = {The {SML/NJ} Compilation and Library Manager}, author = {Matthias Blume}, month = {May}, year = 2002, note = {Available from \url{http://www.smlnj.org/doc/CM/index.html}}, } @Article{BirkedalL:conirt, author = {Lars Birkedal and Robert W. Harper}, title = {Constructing interpretations of recursive types in an operational setting}, journal = ic, year = 1999, volume = 155, pages = {3--63}, } @Article{Birkedal-Tofte:2001, author = "Lars Birkedal and Mads Tofte", title = "A Constraint-Based Region Inference Algorithm", journal = tcs, volume = "258", issue = "1--2", pages = "299-392", year = "2001", fullurl = "http://www.it-c.dk/people/birkedal/papers/conria.ps.gz", } @InProceedings{Birkedal-Tofte-Vejlstrup:1996, author = "Lars Birkedal and Mads Tofte and Magnus Vejlstrup", title = "From Region Inference to von {N}eumann Machines via Region Representation Inference", pages = "171--183", booktitle = popl96, year = 1996, } @article{bellantoni+:polynomial-time, author = {Stephan Bellantoni and Stephan Cook}, title = {A new recursion-theoretic characterization of polytime functions}, journal = {Computational Complexity}, pages = {97-110}, year = {1992}, volume = {2}, number = {2}, } @Article{bellantoni+:linear-polytime, author = {Stephan Bellantoni and K.-H. Niggl and H. Schwichtenberg}, title = {Higher type recursion, ramification and polynomial time}, journal = {Annals of Pure and Applied Logic}, year = {2000}, volume = {104}, pages = {17-30}, } %%% CCC %%% @InProceedings{comon-93, author = "Hubert Comon", title = "Constraints in Term Algebras (Short Survey)", booktitle = "Conference on Algebraic Methodology and Software Technology (AMAST), {\rm June, 1993}", year = "1994", pages = "97--108", publisher = springer, series = "Workshops in Computing", } @Article{comon-lescanne-89, author = "Hubert Comon and Pierre Lescanne", title = "Equational Problems and Disunification", journal = "Journal of Symbolic Computation", year = "1989", volume = "7", pages = "371--425", } @PhdThesis{choppella-02, author = "Venkatesh Choppella", title = "Unification Source-tracking with Application to Diagnosis of Type Inference", school = "Indiana University", year = "2002", month = aug, address = "Bloomington, Indiana", } @InProceedings{crank-felleisen-91, author = "Erik Crank and Matthias Felleisen", title = "Parameter-Passing and the Lambda Calculus", booktitle = popl91, pages = "233--244", year = "1991", month = jan, } @InProceedings{chitil-01, author = "Olaf Chitil", title = "Compositional Explanation of Types and Algorithmic Debugging of Type Errors", booktitle = icfp01, pages = "193--204", year = "2001", month = sep, } %JNF - note, CURTIS90 should be similar @PhdThesis{curtis-90, author = "Pavel Curtis", title = "Constrained Quantification in Polymorphic Type Analysis", school = "Cornell University", year = "1990", month = feb, address = "