Benjamin C. Pierce

发表

Benjamin C. Pierce, B. Pierce, 1993, Mathematical Structures in Computer Science.
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, TACS.
Jonathan M. Smith, Benjamin C. Pierce, Udit Dhawan, 2014, HASP@ISCA.
Benjamin C. Pierce, Adriana B. Compagnoni, B. Pierce, 1996, Mathematical Structures in Computer Science.
Benjamin C. Pierce, B. Pierce, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Benjamin C. Pierce, Uwe Nestmann, 1996, CONCUR.
Benjamin C. Pierce, J. Gregory Morrisett, Catalin Hritcu, 2013, 2013 IEEE Symposium on Security and Privacy.
Benjamin C. Pierce, Alan Schmitt, Vladimir Gapeyev, 2004 .
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, Inf. Comput..
Benjamin C. Pierce, B. Pierce, 1991, Foundations of computing.
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, POPL.
Benjamin C. Pierce, Vladimir Gapeyev, Michael Y. Levin, 2000, Journal of Functional Programming.
Martin Hofmann, Benjamin C. Pierce, B. Pierce, 1995, POPL '95.
Benjamin C. Pierce, 2000, SOEN.
Benjamin C. Pierce, Ben Karel, Michael Greenberg, 2012 .
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 2000, JACM.
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2018, Proc. ACM Program. Lang..
Benjamin C. Pierce, Eijiro Sumii, 2001, J. Comput. Secur..
Benjamin C. Pierce, B. Pierce, 2004 .
Benjamin C. Pierce, David N. Turner, B. Pierce, 1998, POPL '98.
Benjamin C. Pierce, Naoki Kobayashi, David N. Turner, 1996, POPL '96.
Benjamin C. Pierce, Peter Sewell, Pawel T. Wojciechowski, 1998, ICCL Workshop: Internet Programming Languages.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1989, POPL '89.
Benjamin C. Pierce, Aaron Bohannon, 2010, WebApps.
Andreas Haeberlen, Sanjeev Khanna, Marco Gaboardi, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.
Martin Hofmann, Benjamin C. Pierce, B. Pierce, 1994, Journal of Functional Programming.
Atsushi Igarashi, Benjamin C. Pierce, 1999, ECOOP.
Benjamin C. Pierce, Haruo Hosoya, Jérôme Vouillon, 2000, TOPL.
Benjamin C. Pierce, J. Nathan Foster, Alexandre Pilkiewicz, 2008, ICFP 2008.
Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2015 .
Benjamin C. Pierce, 1997 .
Benjamin C. Pierce, 2007, FSTTCS.
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 1999 .
Benjamin C. Pierce, Jérôme Vouillon, B. Pierce, 2001, TACS.
Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2019 .
Benjamin C. Pierce, B. Pierce, 1997, The Computer Science and Engineering Handbook.
Benjamin C. Pierce, 2002 .
Andreas Haeberlen, Benjamin C. Pierce, Edo Roth, 2020, OSDI.
Benjamin C. Pierce, David N. Turner, B. Pierce, 1993, POPL '93.
Benjamin C. Pierce, B. Pierce, 2009 .
Martin Hofmann, Benjamin C. Pierce, 1996, Inf. Comput..
Benjamin C. Pierce, Stephanie Weirich, Michael Greenberg, 2010, POPL '10.
Peter Buneman, Benjamin C. Pierce, B. Pierce, 1999, DBPL.
Benjamin C. Pierce, Vladimir Gapeyev, 2006 .
Benjamin C. Pierce, Robert Harper, 2000, ICFP '00.
Robert Harper, Benjamin C. Pierce, B. Pierce, 2000, ICFP.
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2000, WebDB.
Benjamin C. Pierce, B. Pierce, 1999 .
Benjamin C. Pierce, Howard Reubenstein, Andre DeHon, 2013, 2013 IEEE International Conference on Technologies for Homeland Security (HST).
Benjamin C. Pierce, Aaron Bohannon, B. Pierce, 2012 .
Kim B. Bruce, Benjamin C. Pierce, B. Pierce, 1998, Theory Pract. Object Syst..
Benjamin C. Pierce, Didier Rémy, David N. Turner, 1993 .
Philip Wadler, Atsushi Igarashi, Benjamin C. Pierce, 2001 .
Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.
Benjamin C. Pierce, Leonidas Lampropoulos, Zoe Paraskevopoulou, 2017, Proc. ACM Program. Lang..
Benjamin C. Pierce, B. Pierce, 2010 .
Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2020, Proc. ACM Program. Lang..
Benjamin C. Pierce, David N. Turner, B. Pierce, 1993 .
Benjamin C. Pierce, Robert Harper, B. Pierce, 2005 .
Benjamin C. Pierce, 2006, ESOP.
Andreas Haeberlen, Loris D'Antoni, Benjamin C. Pierce, 2013, FPCDSL '13.
Benjamin C. Pierce, Michael Y. Levin, B. Pierce, 2003, Journal of Functional Programming.
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner, 2012, POPL '12.
Martin Odersky, Benjamin C. Pierce, 2004, TOPL.
Benjamin C. Pierce, Michael Greenberg, B. Pierce, 2013 .
Benjamin C. Pierce, Uwe Nestmann, 1998, Electron. Notes Theor. Comput. Sci..
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Philip Wadler, Atsushi Igarashi, Benjamin C. Pierce, 1999, OOPSLA '99.
Andreas Haeberlen, Marco Gaboardi, Justin Hsu, 2013, POPL.
Giuseppe Castagna, Stijn Vansummeren, Benjamin C. Pierce, 2009, Encyclopedia of Database Systems.
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.
Benjamin C. Pierce, B. Pierce, 1992, POPL '92.
Benjamin C. Pierce, 2009, ICMT@TOOLS.
Matthew Flatt, Benjamin C. Pierce, B. Pierce, 2007 .
Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott, 2013, MFPS.
Benjamin C. Pierce, Nate Foster, Alan Schmitt, 2008, POPL '08.
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin, 1991, Int. J. Found. Comput. Sci..
Benjamin C. Pierce, Vladimir Gapeyev, François Garillot, 2006, PLAN-X.
Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan, 2011, USENIX Security Symposium.
Andrew W. Appel, Arthur Charguéraud, Hervé Grall, 2007 .
Benjamin C. Pierce, Sundar Balasubramaniam, B. Pierce, 1998, MobiCom '98.
Martin Hofmann, Benjamin C. Pierce, 2002, Inf. Comput..
Benjamin C. Pierce, Giorgio Ghelli, B. Pierce, 1998, Theor. Comput. Sci..
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner, 2011, POPL '11.
Ling Liu, Giuseppe Castagna, Stijn Vansummeren, 2009 .
Benjamin C. Pierce, Jérôme Vouillon, B. Pierce, 2002 .
Benjamin C. Pierce, B. Pierce, 1991 .
Benjamin C. Pierce, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Luca Cardelli, Gary T. Leavens, Giuseppe Castagna, 1995, Theory Pract. Object Syst..
Roberto Blanco, Benjamin C. Pierce, Catalin Hritcu, 2018, CCS.
Benjamin C. Pierce, B. Pierce, 2002 .
Andreas Haeberlen, Adam J. Aviv, Jonathan M. Smith, 2010, EUROSEC '10.
Benjamin C. Pierce, 1993, TLCA.
Gilles Barthe, Marco Gaboardi, Justin Hsu, 2016, SIGL.
Benjamin C. Pierce, Jason Reed, B. Pierce, 2010, ICFP '10.
Philip Wadler, Atsushi Igarashi, Benjamin C. Pierce, 2001, TOPL.
Benjamin C. Pierce, Haruo Hosoya, 1997 .
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Benjamin C. Pierce, Musard Balliu, Andrei Sabelfeld, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Ulf Norell, Benjamin C. Pierce, John Hughes, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Benjamin C. Pierce, 2002 .
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..
Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2014 .
Benjamin C. Pierce, Eijiro Sumii, 2000 .
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2017, POST.
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2019, Proc. ACM Program. Lang..
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, Alan Schmitt, J. Nathan Foster, 2007 .
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2009, CCS.
Glynn Winskel, Thomas Ehrhard, Abbas Edalat, 2009, Math. Struct. Comput. Sci..
Benjamin C. Pierce, David N. Turner, B. Pierce, 1994, Journal of Functional Programming.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1995, Journal of Functional Programming.
Benjamin C. Pierce, B. Pierce, 1994, Theory and Practice of Parallel Programming.
Benjamin C. Pierce, Vladimir Gapeyev, B. Pierce, 2003, ECOOP.
Benjamin C. Pierce, 2002 .
Benjamin C. Pierce, B. Pierce, 2009 .
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2015, ITP.
Benjamin C. Pierce, Paweł T. Wojciechowski, Peter Sewell, 1998 .
Benjamin C. Pierce, B. Pierce, L. Cardelli, 1996, CSUR.
Benjamin C. Pierce, B. Pierce, 2002 .
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2018, Proc. ACM Program. Lang..
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2003, TOIT.
Martin Hofmann, Benjamin C. Pierce, Daniel A. Wagner, 2013 .
Benjamin C. Pierce, Eijiro Sumii, 2007, Theor. Comput. Sci..
Martin Hofmann, Benjamin C. Pierce, B. Pierce, 1994, Journal of Functional Programming.
Benjamin C. Pierce, Eijiro Sumii, B. Pierce, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2003, POPL '01.
Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2020, Proc. ACM Program. Lang..
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2016, POPL.
Sanjeev Khanna, Benjamin C. Pierce, Alan Schmitt, 2006, DISC.
Benjamin C. Pierce, Naoki Kobayashi, 2001, Lecture Notes in Computer Science.
Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2017, Proc. ACM Program. Lang..
Akinori Yonezawa, Benjamin C. Pierce, Hideyuki Tokuda, 2003, Lecture Notes in Computer Science.
Benjamin C. Pierce, David N. Turner, B. Pierce, 2000, Proof, Language, and Interaction.
Robert Harper, Benjamin C. Pierce, B. Pierce, 1990 .
Benjamin C. Pierce, B. Pierce, 1999, Theory Pract. Object Syst..
Benjamin C. Pierce, 2005, TGC.
Benjamin C. Pierce, Christian Kirkegaard, Nate Foster, 2005, DBPL.
Benjamin C. Pierce, Steve Zdancewic, David Walker, 2019, Artifact Digital Object Group.
Sanjeev Khanna, Benjamin C. Pierce, Keshav Kunal, 2007, FSTTCS.
Benjamin C. Pierce, Jeffrey A. Vaughan, Aaron Bohannon, 2006, PODS '06.
Benjamin C. Pierce, Robert Harper, B. Pierce, 1991, POPL '91.
Benjamin C. Pierce, 2002 .
Benjamin C. Pierce, Christian Kirkegaard, Alan Schmitt, 2005 .
Benjamin C. Pierce, Nate Foster, Michael Greenberg, 2010, ICFP '10.
Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2019, Proc. ACM Program. Lang..
Benjamin C. Pierce, 1998, CONCUR.
Benjamin C. Pierce, 2010, OOPSLA.
Benjamin C. Pierce, Uwe Nestmann, 2000, Inf. Comput..
Benjamin C. Pierce, Eijiro Sumii, 2003 .
Benjamin C. Pierce, David N. Turner, B. Pierce, 2000, TOPL.
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, Haruo Hosoya, Jérôme Vouillon, 2005, ACM Trans. Program. Lang. Syst..
Jonathan M. Smith, Benjamin C. Pierce, Thomas F. Knight, 2015, ASPLOS.
Benjamin C. Pierce, B. Pierce, 1994, Inf. Comput..
Benjamin C. Pierce, Randy Pollack, Benoît Montagu, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Benjamin C. Pierce, Vladimir Gapeyev, 2004 .
Giuseppe Castagna, Stijn Vansummeren, Benjamin C. Pierce, 2009, Encyclopedia of Database Systems.
Arthur Charguéraud, Benjamin C. Pierce, Stephanie Weirich, 2008, POPL '08.
Benjamin C. Pierce, Eijiro Sumii, B. Pierce, 2005, POPL '05.
Stephan Merz, Sébastien Tixeuil, Leslie Lamport, 2013 .
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 1997, POPL '97.
Benjamin C. Pierce, 2016, SPLASH.
Benjamin C. Pierce, Kathleen Fisher, 2002, TOPL.
Benjamin C. Pierce, Eijiro Sumii, B. Pierce, 2004, Theor. Comput. Sci..
Benjamin C. Pierce, Naoki Kobayashi, David N. Turner, 1999, TOPL.
Benjamin C. Pierce, Benjamin C. Pierce, 2013, Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
Benjamin C. Pierce, Stephanie Weirich, Michael Greenberg, 2012, J. Funct. Program..
Benjamin C. Pierce, Vladimir Gapeyev, Michael Y. Levin, 2000, ICFP '00.
Benjamin C. Pierce, John Nathan Foster, 2009 .
Benjamin C. Pierce, Nate Foster, Steve Zdancewic, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Giuseppe Castagna, Benjamin C. Pierce, 1995, POPL '95.
Benjamin C. Pierce, 2002 .
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2005, VSTTE.
Benjamin C. Pierce, Haruo Hosoya, 2003, J. Funct. Program..
Benjamin C. Pierce, Kenichi Asai, B. Pierce, 2013, Journal of Functional Programming.
Benjamin C. Pierce, Stephanie Weirich, Nate Foster, 2005, TPHOLs.
Benjamin C. Pierce, B. Pierce, 2007 .
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Atsushi Igarashi, Benjamin C. Pierce, Michael Greenberg, 2011, ESOP.
Benjamin C. Pierce, Michael Y. Levin, B. Pierce, 2005, DBPL.
Giuseppe Castagna, Benjamin C. Pierce, 1994, POPL '94.
Patrick Schaumont, Andrew C. Myers, Benjamin C. Pierce, 2016, ArXiv.
Atsushi Igarashi, Benjamin C. Pierce, 2002, Inf. Comput..
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Atsushi Igarashi, Benjamin C. Pierce, B. Pierce, 1999, Inf. Comput..
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2011, PLOS '11.
Benjamin C. Pierce, Alan Schmitt, Vladimir Gapeyev, 2005, CC.
Benjamin C. Pierce, Martin Steffen, B. Pierce, 1994, Theor. Comput. Sci..
Benjamin C. Pierce, Catalin Hritcu, Ana Nora Evans, 2017, ArXiv.
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, Nate Foster, Alexandre Pilkiewicz, 2008, ICFP.
Atsushi Igarashi, Benjamin C. Pierce, 2000, ECOOP.
Benjamin C. Pierce, 2002 .
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, ArXiv.
Benjamin C. Pierce, Steve Zdancewic, Yishuai Li, 2021, ISSTA.
Benjamin C. Pierce, John Hughes, Leonidas Lampropoulos, 2021, ESOP.
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.
Roberto Blanco, Benjamin C. Pierce, Leonidas Lampropoulos, 2021, ArXiv.
Roberto Blanco, Benjamin C. Pierce, Leonidas Lampropoulos, 2021 .
Benjamin C. Pierce, Jason Reed, B. Pierce, 2010, ACM SIGPLAN International Conference on Functional Programming.
Benjamin C. Pierce, Spiro Michaylov, Scott Dietzen, 1989 .
Benjamin C. Pierce, Uwe Nestmann, B. Pierce, 1999 .
Benjamin C. Pierce, B. Pierce, 1988 .
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016 .
Benjamin C. Pierce, Crista Lopes, Michael Hicks, .
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Arnaud Sahuguet, Val Tannen, Benjamin C. Pierce, 2000 .
Benjamin C. Pierce, 2002 .
Benjamin C. Pierce, Alan Schmitt, Michael B. Greenwald, 2003 .
Benjamin C. Pierce, John Hughes, Leonidas Lampropoulos, 2013 .