B. Pierce

发表

S. Khanna, B. Pierce, K. Kunal, 2007 .
Benjamin C. Pierce, B. Pierce, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
B. Pierce, H. Hosoya, 1999 .
Benjamin C. Pierce, Haruo Hosoya, Jérôme Vouillon, 2000, TOPL.
Benjamin C. Pierce, B. Pierce, 1994, Inf. Comput..
Philip Wadler, Atsushi Igarashi, Benjamin C. Pierce, 2001, TOPL.
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, TACS.
Benjamin C. Pierce, David N. Turner, B. Pierce, 1994, Journal of Functional Programming.
Benjamin C. Pierce, Martin Steffen, B. Pierce, 1994, Theor. Comput. Sci..
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2009, CCS.
Philip Wadler, Atsushi Igarashi, Benjamin C. Pierce, 1999, OOPSLA '99.
Robert Harper, Benjamin C. Pierce, B. Pierce, 2000, ICFP.
Benjamin C. Pierce, Adriana B. Compagnoni, B. Pierce, 1996, Mathematical Structures in Computer Science.
Benjamin C. Pierce, Christian Kirkegaard, Alan Schmitt, 2005 .
Benjamin C. Pierce, Giorgio Ghelli, B. Pierce, 1998, Theor. Comput. Sci..
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.
Andreas Haeberlen, Loris D'Antoni, Benjamin C. Pierce, 2013, FPCDSL '13.
Ulf Norell, Benjamin C. Pierce, John Hughes, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 1997, POPL '97.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2017, POST.
Benjamin C. Pierce, Nate Foster, Alan Schmitt, 2008, POPL '08.
Benjamin C. Pierce, Sundar Balasubramaniam, B. Pierce, 1998, MobiCom '98.
B. Pierce, D. Sangiorgi, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Benjamin C. Pierce, B. Pierce, 2004 .
B. Pierce, Nate Foster, M. Greenwald, 2004 .
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2016, POPL.
B. Pierce, Maxime Dénès, 2014 .
Benjamin C. Pierce, Jérôme Vouillon, B. Pierce, 2001, TACS.
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2011, PLOS '11.
Roberto Blanco, Benjamin C. Pierce, Catalin Hritcu, 2018, CCS.
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner, 2011, POPL '11.
B. Pierce, Eijiro Sumii, 2005, POPL.
Stephan A Zdancewic, B. Pierce, R. Harper, 2006 .
B. Pierce, Andreas Haeberlen, Loris D'antoni, 2013 .
Justin Hsu, B. Pierce, Andreas Haeberlen, 2013 .
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2015 .
Aaron Roth, B. Pierce, Andreas Haeberlen, 2017 .
Aaron Roth, B. Pierce, Andreas Haeberlen, 2017 .
B. Pierce, G. Morrisett, Catalin Hritcu, 2012 .
B. Pierce, S. Zdancewic, G. Malecha, 2019 .
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016 .
B. Pierce, T. Knight, 2013 .
Benjamin C. Pierce, Uwe Nestmann, B. Pierce, 1999 .
Kim B. Bruce, B. Pierce, L. Cardelli, 1995 .
Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2019 .
B. Pierce, H. Hosoya, 2007 .
S. Khanna, B. Pierce, K. Kunal, 2007 .
B. Pierce, S. Zdancewic, Konstantinos Kallas, 2019 .
Benjamin C. Pierce, B. Pierce, 1988 .
B. Pierce, S. Zdancewic, A. Chlipala, 2022, Proc. ACM Program. Lang..
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2014 .
Stephan Merz, Sébastien Tixeuil, Leslie Lamport, 2013 .
Matthew Flatt, Benjamin C. Pierce, B. Pierce, 2007 .
Ioana Manolescu, Christoph Koch, Cong Yu, 2009, Encyclopedia of Database Systems.
Cong Yu, Andrew Trotman, Christoph Koch, 2009, Encyclopedia of Database Systems.
B. Pierce, R. Harper, F. Pfenning, 2007 .
B. Pierce, S. Zdancewic, D. Walker, 2020 .
B. Pierce, D. Turner, N. Kobayashi, 1996, POPL '96.
B. Pierce, Naoki, Kobayashi, 2018 .
B. Pierce, P. Wadler, Atsushi Igarashi, 1999, OOPSLA '99.
B. Pierce, Eijiro Sumii, 2007, JACM.
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Andrew W. Appel, Arthur Charguéraud, Hervé Grall, 2007 .
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 1999 .
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, B. Pierce, 2007 .
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, Kenichi Asai, B. Pierce, 2013, Journal of Functional Programming.
Martin Hofmann, Benjamin C. Pierce, B. Pierce, 1994, Journal of Functional Programming.
Benjamin C. Pierce, Robert Harper, B. Pierce, 2005 .
Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2015 .
Kim B. Bruce, Benjamin C. Pierce, B. Pierce, 1998, Theory Pract. Object Syst..
Benjamin C. Pierce, B. Pierce, 1991 .
Benjamin C. Pierce, Jérôme Vouillon, B. Pierce, 2002 .
Benjamin C. Pierce, Steve Zdancewic, Yishuai Li, 2021, ISSTA.
Benjamin C. Pierce, B. Pierce, 1999 .
Benjamin C. Pierce, B. Pierce, 1999, Theory Pract. Object Syst..
Benjamin C. Pierce, Steve Zdancewic, David Walker, 2019, Artifact Digital Object Group.
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, B. Pierce, 2009 .
Benjamin C. Pierce, B. Pierce, 1997, The Computer Science and Engineering Handbook.
Benjamin C. Pierce, B. Pierce, 2002 .
Benjamin C. Pierce, B. Pierce, 2010 .
Michael Y. Levin, B. Pierce, V. Gapeyev, 2002 .
B. Pierce, Harrison Goldstein, 2022, Proc. ACM Program. Lang..
Benjamin C. Pierce, Eijiro Sumii, B. Pierce, 2005, POPL '05.
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2005, VSTTE.
Benjamin C. Pierce, Spiro Michaylov, Scott Dietzen, 1989 .
Benjamin C. Pierce, David N. Turner, B. Pierce, 2000, Proof, Language, and Interaction.
Benjamin C. Pierce, B. Pierce, 1991, Foundations of computing.
Benjamin C. Pierce, Vladimir Gapeyev, Michael Y. Levin, 2000, Journal of Functional Programming.
Benjamin C. Pierce, Vladimir Gapeyev, Michael Y. Levin, 2000, ICFP '00.
Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan, 2011, USENIX Security Symposium.
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Andreas Haeberlen, Benjamin C. Pierce, Edo Roth, 2020, OSDI.
Benjamin C. Pierce, B. Pierce, L. Cardelli, 1996, CSUR.
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, Inf. Comput..
Benjamin C. Pierce, B. Pierce, 1993, Mathematical Structures in Computer Science.
Luca Cardelli, Gary T. Leavens, Giuseppe Castagna, 1995, Theory Pract. Object Syst..
Martin Hofmann, Benjamin C. Pierce, B. Pierce, 1995, POPL '95.
Martin Hofmann, Benjamin C. Pierce, B. Pierce, 1994, Journal of Functional Programming.
Benjamin C. Pierce, David N. Turner, B. Pierce, 1993, POPL '93.
Benjamin C. Pierce, David N. Turner, B. Pierce, 1993 .
Benjamin C. Pierce, B. Pierce, 1992, POPL '92.
Benjamin C. Pierce, Robert Harper, B. Pierce, 1991, POPL '91.
Robert Harper, Benjamin C. Pierce, B. Pierce, 1990 .
Benjamin C. Pierce, Vladimir Gapeyev, B. Pierce, 2003, ECOOP.
Benjamin C. Pierce, Michael Y. Levin, B. Pierce, 2003, Journal of Functional Programming.
Michael Hicks, Leonidas Lampropoulos, Benjamin C. Pierce, 2019, Proc. ACM Program. Lang..
Arthur Charguéraud, Benjamin C. Pierce, Stephanie Weirich, 2008, POPL '08.
Andreas Haeberlen, Marco Gaboardi, Justin Hsu, 2013, POPL.
Benjamin C. Pierce, Jason Reed, B. Pierce, 2010, ICFP '10.
Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2020, Proc. ACM Program. Lang..
Benjamin C. Pierce, Peter Sewell, Pawel T. Wojciechowski, 1998, ICCL Workshop: Internet Programming Languages.
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2003, POPL '01.
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2003, TOIT.
Benjamin C. Pierce, Haruo Hosoya, B. Pierce, 2000, WebDB.
Peter Buneman, Benjamin C. Pierce, B. Pierce, 1999, DBPL.
B. Pierce, H. Hosoya, Jérôme Vouillon, 2000, ICFP '00.
Patrick Schaumont, Andrew C. Myers, Benjamin C. Pierce, 2016, ArXiv.
Benjamin C. Pierce, Aaron Bohannon, B. Pierce, 2012 .
Andreas Haeberlen, Sanjeev Khanna, Marco Gaboardi, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Benjamin C. Pierce, Leonidas Lampropoulos, Zoe Paraskevopoulou, 2017, Proc. ACM Program. Lang..
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2015, ITP.
Benjamin C. Pierce, David N. Turner, B. Pierce, 2000, TOPL.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1995, Journal of Functional Programming.
Benjamin C. Pierce, Naoki Kobayashi, David N. Turner, 1999, TOPL.
Benjamin C. Pierce, B. Pierce, 1994, Theory and Practice of Parallel Programming.
Benjamin C. Pierce, B. Pierce, 2009 .
Atsushi Igarashi, Benjamin C. Pierce, B. Pierce, 1999, Inf. Comput..
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1989, POPL '89.
Gilles Barthe, Marco Gaboardi, Justin Hsu, 2016, SIGL.
Andreas Haeberlen, Adam J. Aviv, Jonathan M. Smith, 2010, EUROSEC '10.
Benjamin C. Pierce, Catalin Hritcu, Ana Nora Evans, 2017, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.
B. Pierce, C. Stanford, Harrison Goldstein, 2023, ArXiv.
Benjamin C. Pierce, Howard Reubenstein, Andre DeHon, 2013, 2013 IEEE International Conference on Technologies for Homeland Security (HST).
Benjamin C. Pierce, Eijiro Sumii, B. Pierce, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.
Arnaud Sahuguet, Val Tannen, Benjamin C. Pierce, 2000 .
B. Pierce, A. Tolmach, Leonidas Lampropoulos, 2021, 2023 IEEE 36th Computer Security Foundations Symposium (CSF).
Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.
Jonathan M. Smith, Benjamin C. Pierce, Thomas F. Knight, 2015, ASPLOS.
Jonathan M. Smith, Benjamin C. Pierce, Udit Dhawan, 2014, HASP@ISCA.
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..
Benjamin C. Pierce, Musard Balliu, Andrei Sabelfeld, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Benjamin C. Pierce, J. Gregory Morrisett, Catalin Hritcu, 2013, 2013 IEEE Symposium on Security and Privacy.
Roberto Blanco, Benjamin C. Pierce, Leonidas Lampropoulos, 2021, ArXiv.
B. Pierce, Nate Foster, Alan Schmitt, 2007, PLAN-X.
M. Abadi, G. Plotkin, B. Pierce, 1991, TOPL.
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
B. Pierce, 2003 .
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2016, POPL.
Benjamin C. Pierce, Michael Greenberg, B. Pierce, 2013 .
B. Pierce, S. Zdancewic, G. Malecha, 2019, Proc. ACM Program. Lang..
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.
Benjamin C. Pierce, Eijiro Sumii, B. Pierce, 2004, Theor. Comput. Sci..
Benjamin C. Pierce, Nate Foster, Steve Zdancewic, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Benjamin C. Pierce, Vladimir Gapeyev, François Garillot, 2006, PLAN-X.
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 2000, JACM.
Benjamin C. Pierce, David N. Turner, B. Pierce, 1998, POPL '98.
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Benjamin C. Pierce, Nate Foster, Michael Greenberg, 2010, ICFP '10.
Benjamin C. Pierce, Jason Reed, B. Pierce, 2010, ACM SIGPLAN International Conference on Functional Programming.
Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2019, Proc. ACM Program. Lang..
Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2017, Proc. ACM Program. Lang..
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2018, Proc. ACM Program. Lang..
Benjamin C. Pierce, Nate Foster, Alexandre Pilkiewicz, 2008, ICFP.
A. Haller, B. Pierce, A. Haller, 1974 .
B. Pierce, R. Pollack, Benoît Montagu, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Benjamin C. Pierce, Michael Y. Levin, B. Pierce, 2005, DBPL.
Arthur Azevedo de Amorim, B. Pierce, Yannis Juglaret, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2014 .
B. Pierce, Harrison Goldstein, Meng Wang, 2023, Proc. ACM Program. Lang..
B. Pierce, Diane Gallois-Wong, Li-yao Xia, 2020, Foundations of Probabilistic Programming.