Frank Pfenning

发表

Robert J. Simmons, Frank Pfenning, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Frank Pfenning, Peter B. Andrews, Sunil Issar, 1990, CADE.
Robert J. Simmons, Frank Pfenning, F. Pfenning, 2011, High. Order Symb. Comput..
Robert J. Simmons, Frank Pfenning, 2009, PEPM '09.
Frank Pfenning, F. Pfenning, 1992, Types in Logic Programming.
Frank Pfenning, Henry DeYoung, 2016, APLAS.
Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.
Frank Pfenning, William Lovas, 2009, TLCA.
Frank Pfenning, Dennis Griffith, 2015, FoSSaCS.
Limin Jia, Frank Pfenning, Hannah Gommerstadt, 2016, POPL.
Lujo Bauer, Michael K. Reiter, Frank Pfenning, 2009 .
Frank Pfenning, Kaustuv Chaudhuri, F. Pfenning, 2005, CSL.
Frank Pfenning, Joshua Dunfield, F. Pfenning, 2003, FoSSaCS.
David Walker, Frank Pfenning, Iliano Cervesato, 2003, TYPES.
Frank Pfenning, Peter B. Andrews, Sunil Issar, 1996, Journal of Automated Reasoning.
Gopalan Nadathur, Frank Pfenning, F. Pfenning, 1992, Types in Logic Programming.
Gopalan Nadathur, Dale Miller, Frank Pfenning, 1991, Ann. Pure Appl. Log..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013, ESOP.
Robert Harper, Matthias Felleisen, Frank Pfenning, 2002 .
Frank Pfenning, Ankush Das, Jan Hoffmann, 2018, LICS.
Frank Pfenning, Iliano Cervesato, Kevin Watkins, 2003 .
Frank Pfenning, Michael Kohlhase, F. Pfenning, 1993, ICLP 1993.
David Walker, Frank Pfenning, Iliano Cervesato, 2008, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, Penny Anderson, 2004, TPHOLs.
Hélène Kirchner, Bernhard Gramlich, Frank Pfenning, 2004, Annals of Mathematics and Artificial Intelligence.
Bernardo Toninho, Frank Pfenning, Stephanie Balzer, 2018, CONCUR.
Frank Pfenning, Deepak Garg, F. Pfenning, 2005, CONCUR.
Frank Pfenning, Aleksandar Nanevski, F. Pfenning, 2004 .
Frank Pfenning, Karl Crary, Robert Harper, 2004, LICS 2004.
Olivier Danvy, Frank Pfenning, Belmina Dzafic, 1999, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, Jeff Polakow, 1998 .
Frank Pfenning, Hao-Chi Wong, 1995, MFPS.
Frank Pfenning, Daniel Nesmith, F. Pfenning, 1990, CADE.
Frank Pfenning, Deepak Garg, Jamie Morgenstern, 2011, STM.
Peter Lee, Frank Pfenning, F. Pfenning, 1991, Theor. Comput. Sci..
Frank Pfenning, Spiro Michaylov, F. Pfenning, 1993, PPCP.
Frank Pfenning, Ankush Das, 2020, PPDP.
Frank Pfenning, F. Pfenning, 1994, Lecture Notes in Computer Science.
Frank Pfenning, Carsten Schürmann, 1998, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, Alberto Momigliano, 1999, APPIA-GULP-PRODE.
Gopalan Nadathur, Frank Pfenning, F. Pfenning, 1992 .
Frank Pfenning, Ankush Das, Jan Hoffmann, 2018, Proc. ACM Program. Lang..
Peter Lee, Frank Pfenning, Rowan Davies, 1998, CSUR.
Frank Pfenning, F. Pfenning, 2010 .
Frank Pfenning, Carsten Schürmann, Joëlle Despeyroux, 1997, Theor. Comput. Sci..
Frank Pfenning, F. Pfenning, 2009 .
Robert J. Simmons, Frank Pfenning, 2012 .
Yannis Smaragdakis, Frank Pfenning, 2003, Lecture Notes in Computer Science.
Frank Pfenning, Karl Crary, Aleksey Kliger, 2005, J. Funct. Program..
Frank Pfenning, Robert Harper, R. Harper, 1991 .
Amy P. Felty, Dale Miller, Frank Pfenning, 1990 .
Bor-Yuh Evan Chang, Frank Pfenning, Andreas Abel, 2001 .
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013, ESOP.
Richard Statman, Paliath Narendran, Frank Pfenning, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning, Rowan Davies, F. Pfenning, 2001, Mathematical Structures in Computer Science.
Frank Pfenning, Rowan Davies, F. Pfenning, 2000, ICFP '00.
Frank Pfenning, Brigitte Pientka, F. Pfenning, 2003 .
Frank Pfenning, Aleksandar Nanevski, 2005, J. Funct. Program..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2019, ArXiv.
Frank Pfenning, 2005, MERLIN '05.
Frank Pfenning, Spiro Michaylov, F. Pfenning, 1991, PEPM.
Frank Pfenning, F. Pfenning, 2004 .
Frank Pfenning, Scott Dietzen, F. Pfenning, 1992, Machine Learning.
Frank Pfenning, William Lovas, F. Pfenning, 2007, LFMTP@CADE.
Frank Pfenning, Henry DeYoung, Andreia Mordido, 2020 .
Bernardo Toninho, Frank Pfenning, Jorge A. Pérez, 2019, CONCUR.
Lujo Bauer, Michael K. Reiter, Frank Pfenning, 2006, ESORICS.
David Walker, Frank Pfenning, Iliano Cervesato, 2003 .
Bernardo Toninho, Frank Pfenning, Stephanie Balzer, 2019, ESOP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2016, Math. Struct. Comput. Sci..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, TLDI '12.
Frank Pfenning, Peter B. Andrews, Sunil Issar, 1993, HUG.
Frank Pfenning, F. Pfenning, 2002, Electron. Notes Theor. Comput. Sci..
Bor-Yuh Evan Chang, Frank Pfenning, Karl Crary, 2002, GRID.
Olivier Danvy, Frank Pfenning, F. Pfenning, 1995 .
Frank Pfenning, Jason Reed, F. Pfenning, 2009 .
Frank Pfenning, Timothy S. Freeman, F. Pfenning, 1991, PLDI '91.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2014, Inf. Comput..
Frank Pfenning, Klaas Pruiksma, 2019, PLACES@ETAPS.
Frank Pfenning, Robert Harper, Peter Lee, 1998 .
Frank Pfenning, F. Pfenning, 1988, LISP and Functional Programming.
Frank Pfenning, F. Pfenning, 2005 .
Frank Pfenning, Jeff Polakow, Jeff Polakow, 1999, TLCA.
Frank Pfenning, Carsten Schürmann, Joëlle Despeyroux, 1997, Theoretical Computer Science.
Frank Pfenning, Karl Crary, Robert Harper, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Lujo Bauer, Michael K. Reiter, Frank Pfenning, 2007, NDSS.
Frank Pfenning, Deepak Garg, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Frank Pfenning, Stephanie Balzer, 2017, Proc. ACM Program. Lang..
Robert J. Simmons, Frank Pfenning, 2008, ICALP.
Frank Pfenning, Spiro Michaylov, F. Pfenning, 1991, PEPM.
Frank Pfenning, Carsten Schürmann, F. Pfenning, 1998, Proof Search in Type-Theoretic Languages@CADE.
Frank Pfenning, F. Pfenning, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning, Luís Caires, F. Pfenning, 2010, CONCUR.
Frank Pfenning, Carsten Schuermann, F. Pfenning, 2002 .
Frank Pfenning, Ankush Das, 2020, ArXiv.
Frank Pfenning, F. Pfenning, 1993, Fundam. Informaticae.
Frank Pfenning, Karl Crary, Robert Harper, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Frank Pfenning, Iliano Cervesato, 2002, Inf. Comput..
Frank Pfenning, F. Pfenning, 1992, ICLP.
Claude Kirchner, Frank Pfenning, Gilles Dowek, 1996, JICSLP.
Frank Pfenning, Carsten Schürmann, F. Pfenning, 2003, TPHOLs.
Frank Pfenning, Cosku Acay, 2016, ITRS.
Frank Pfenning, Iliano Cervesato, Joshua S. Hodas, 1996, Theor. Comput. Sci..
John Hannan, Frank Pfenning, F. Pfenning, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning, F. Pfenning, 2002, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, Peter B. Andrews, Sunil Issar, 1990, CADE.
Frank Pfenning, Stephanie Balzer, Ankush Das, 2019, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Frank Pfenning, Wilfried Sieg, F. Pfenning, 1998, Stud Logica.
Frank Pfenning, Brigitte Pientka, Aleksandar Nanevski, 2008, TOCL.
Lujo Bauer, Michael K. Reiter, Scott Garriss, 2008 .
Frank Pfenning, F. Pfenning, 1984, CADE.
Frank Pfenning, F. Pfenning, 2006 .
Lujo Bauer, Michael K. Reiter, Frank Pfenning, 2006 .
Frank Pfenning, Deepak Garg, 2012, J. Comput. Secur..
Frank Pfenning, Ekkehard Rohwedder, F. Pfenning, 1996 .
Seth Copen Goldstein, Flavio Cruz, Frank Pfenning, 2012 .
Frank Pfenning, Thomas J. Cortina, William Lovas, 2011 .
Frank Pfenning, Scott Dietzen, F. Pfenning, 1991, ISLP.
Frank Pfenning, F. Pfenning, 2015 .
Sebastian Thrun, Frank Pfenning, Sungwoo Park, 2005, POPL '05.
Frank Pfenning, Sean McLaughlin, F. Pfenning, 2008, LPAR.
Frank Pfenning, Conal Elliott, F. Pfenning, 1988, PLDI '88.
Frank Pfenning, Robert Harper, Peter Lee, 1994 .
Frank Pfenning, F. Pfenning, 1988 .
Frank Pfenning, Ekkehard Rohwedder, F. Pfenning, 1992, CADE.
Frank Pfenning, 2007, ICFP '07.
Frank Pfenning, Alberto Momigliano, A. Momigliano, 2001, ArXiv.
Frank Pfenning, Hongwei Xi, F. Pfenning, 1998, PLDI.
Frank Pfenning, Iliano Cervesato, 2003, J. Log. Comput..
Frank Pfenning, Henry DeYoung, Klaas Pruiksma, 2020, FSCD.
Frank Pfenning, Deepak Garg, Henry DeYoung, 2008 .
Frank Pfenning, Iliano Cervesato, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Peter Lee, Frank Pfenning, F. Pfenning, 1989, TAPSOFT, Vol.2.
Frank Pfenning, Brigitte Pientka, F. Pfenning, 2003, CADE.
Frank Pfenning, Kaustuv Chaudhuri, Greg Price, 2007, Journal of Automated Reasoning.
Frank Pfenning, Carsten Schuermann, 1998 .
Frank Pfenning, F. Pfenning, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Frank Pfenning, Ekkehard Rohwedder, F. Pfenning, 1996, ESOP.
Frank Pfenning, Iliano Cervesato, Anand Subramanian, 2012 .
Bernardo Toninho, Frank Pfenning, Luís Caires, 2014, TGC.
Frank Pfenning, Peter Lee, Peter Lee, 1989 .
Glynn Winskel, Andrei Broder, Radha Jagadeesan, 2005, LICS.
Frank Pfenning, Mário Florido, Miguel Silva, 2016, LINEARITY.
Frank Pfenning, Robert Harper, Peter Lee, 1994 .
Olivier Danvy, Frank Pfenning, Belmina Dzac, 1996 .
Frank Pfenning, Jeff Polakow, Pablo López, 2005, PPDP.
Frank Pfenning, Peter B. Andrews, Sunil Issar, 2004, Journal of Automated Reasoning.
Frank Pfenning, Robert Harper, R. Harper, 1998, J. Log. Comput..
Frank Pfenning, Spiro Michaylov, F. Pfenning, 1992 .
Frank Pfenning, Hongwei Xi, F. Pfenning, 1997 .
Robert L. Nord, Frank Pfenning, 1988, SDE 3.
Frank Pfenning, Iliano Cervesato, Joshua S. Hodas, 1996, ELP.
Frank Pfenning, F. Pfenning, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning, Deepak Garg, F. Pfenning, 2010, 2010 IEEE Symposium on Security and Privacy.
Sebastian Thrun, Frank Pfenning, Sungwoo Park, 2005 .
Frank Pfenning, Max Willsey, Rokhini Prabhu, 2016, LINEARITY.
Frank Pfenning, Hongwei Xi, F. Pfenning, 1999, POPL '99.
Frank Pfenning, F. Pfenning, 2015, PLMW '15.
Frank Pfenning, Deepak Garg, Henry DeYoung, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Peter Lee, Frank Pfenning, Karl Crary, 2003, Theor. Comput. Sci..
Noam Zeilberger, Frank Pfenning, Peter Lee, 2009 .
Frank Pfenning, Stephanie Balzer, F. Pfenning, 2015, AGERE!@SPLASH.
Frank Pfenning, Robert Harper, R. Harper, 2001, TOCL.
Frank Pfenning, Carsten Schürmann, F. Pfenning, 1999, CADE.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, CSL.
Frank Pfenning, 2013, Lecture Notes in Computer Science.
David Walker, Frank Pfenning, Iliano Cervesato, 2004 .
Frank Pfenning, Scott Dietzen, F. Pfenning, 2004, Machine Learning.
Frank Pfenning, Jason Reed, 2009, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, William Lovas, 2010, Log. Methods Comput. Sci..
Frank Pfenning, 2006 .
Bor-Yuh Evan Chang, Frank Pfenning, Karl Crary, 2002 .
Bernardo Toninho, Robert J. Simmons, Frank Pfenning, 2011, X10 '11.
Frank Pfenning, Brigitte Pientka, Aleksandar Nanevski, 2003, MERLIN '03.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2011, PPDP.
Frank Pfenning, 2010, LAM@LICS.
Frank Pfenning, Klaas Pruiksma, F. Pfenning, 2020, Journal of Functional Programming.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, FoSSaCS.
Frank Pfenning, F. Pfenning, 2002 .
Frank Pfenning, Joshua Dunfield, F. Pfenning, 2004, POPL.
Frank Pfenning, Chuta Sano, Stephanie Balzer, 2021, ArXiv.
Frank Pfenning, Karl Crary, Robert Harper, 2001 .
Frank Pfenning, Spiro Michaylov, F. Pfenning, 1992, ELP.
Limin Jia, Frank Pfenning, Hannah Gommerstadt, 2018, ESOP.
Frank Pfenning, Rowan Davies, 2005 .
Frank Pfenning, Alberto Momigliano, 2003, TOCL.
Frank Pfenning, 2006 .
Seth Copen Goldstein, Frank Pfenning, Ricardo Rocha, 2014, Theory and Practice of Logic Programming.
Frank Pfenning, Farzaneh Derakhshan, F. Pfenning, 2019, Log. Methods Comput. Sci..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2011, CPP.
Peter Lee, Frank Pfenning, Philip Wickline, 1998, PLDI.
Amy P. Felty, Dale Miller, Frank Pfenning, 1990, CADE.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, ESOP.
Frank Pfenning, Karl Crary, Aleksey Kliger, 2004 .
Frank Pfenning, Michael Kohlhase, F. Pfenning, 1993, ILPS.
Frank Pfenning, F. Pfenning, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning, Rowan Davies, F. Pfenning, 1996, POPL '96.
Frank Pfenning, Karl Crary, Robert Harper, 2003, POPL '03.
Frank Pfenning, William Lovas, William Lovas, 2010 .
Frank Pfenning, Spiro Michaylov, 1991, PEPM '91.
Frank Pfenning, Kaustuv Chaudhuri, Greg Price, 2006, IJCAR.
Frank Pfenning, 2000, SAIG.
Frank Pfenning, F. Pfenning, 2001, Handbook of Automated Reasoning.
Frank Pfenning, Iliano Cervesato, F. Pfenning, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning, Peter B. Andrews, Sunil Issar, 1986, CADE.
Frank Pfenning, F. Pfenning, 1996, CAAP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013 .
Frank Pfenning, Henry DeYoung, Andreia Mordido, 2020, ArXiv.
Frank Pfenning, Uluc Saranli, 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
Frank Pfenning, Ankush Das, 2020, CONCUR.
Frank Pfenning, Christine Paulin-Mohring, F. Pfenning, 1989, Mathematical Foundations of Programming Semantics.
Frank Pfenning, Carsten Schürmann, F. Pfenning, 1998, CADE.
Frank Pfenning, Siva Somayyajula, 2021 .
Frank Pfenning, Henry DeYoung, Andreia Mordido, 2021, ArXiv.
Frank Pfenning, Klaas Pruiksma, 2021, J. Log. Algebraic Methods Program..
Frank Pfenning, Henry DeYoung, Andreia Mordido, 2021, ESOP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2021, PPDP.
Frank Pfenning, Hannah Gommerstadt, Limin Jia, 2022, J. Log. Algebraic Methods Program..
Frank Pfenning, Ankush Das, 2022, Logical Methods in Computer Science.
Frank Pfenning, Henry DeYoung, Andreia Mordido, 2022, ESOP.
Frank Pfenning, Kaustuv Chaudhuri, F. Pfenning, 2006 .
Frank Pfenning, F. Pfenning, 2009 .
Frank Pfenning, F. Pfenning, 1992 .
Frank Pfenning, Brigitte Pientka, 2000 .
Frank Pfenning, F. Pfenning, 2020 .
Frank Pfenning, Iliano Cervesato, F. Pfenning, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Bor-Yuh Evan Chang, Frank Pfenning, Kaustuv Chaudhuri, 2003 .
Frank Pfenning, Kaustuv Chaudhuri, F. Pfenning, 2003 .
Bernardo Toninho, Frank Pfenning, Jorge A. Pérez, 2010 .
Robert J. Simmons, Frank Pfenning, 2011 .
Olivier Danvy, Frank Pfenning, Belmina Dzafic, 1999 .