F. Pfenning
发表
Jeff Polakow,
F. Pfenning,
2001
.
F. Pfenning,
1994
.
Frank Pfenning,
F. Pfenning,
1988,
LISP and Functional Programming.
Peter B. Andrews,
Dale A. Miller,
F. Pfenning,
1984
.
D. Walker,
F. Pfenning,
K. Watkins,
2003
.
Frank Pfenning,
Rowan Davies,
F. Pfenning,
2001,
Mathematical Structures in Computer Science.
F. Pfenning,
H. Wong,
1995
.
F. Pfenning,
1991
.
F. Pfenning,
2014
.
Kevin D. Bowers,
M. Reiter,
Lujo Bauer,
2006
.
F. Pfenning,
C. Schürmann,
2000
.
Frank Pfenning,
Hongwei Xi,
F. Pfenning,
1999,
POPL '99.
Frank Pfenning,
Hongwei Xi,
F. Pfenning,
1998,
PLDI.
Frank Pfenning,
Rowan Davies,
F. Pfenning,
1996,
POPL '96.
P. Narendran,
F. Pfenning,
R. Statman,
1997
.
Sebastian Thrun,
Frank Pfenning,
Sungwoo Park,
2005,
POPL '05.
Frank Pfenning,
Kaustuv Chaudhuri,
F. Pfenning,
2006
.
Bor-Yuh Evan Chang,
Frank Pfenning,
Kaustuv Chaudhuri,
2003
.
F. Pfenning,
H. Wong,
2022
.
Frank Pfenning,
F. Pfenning,
2020
.
F. Pfenning,
2012
.
Stephan A Zdancewic,
B. Pierce,
R. Harper,
2006
.
F. Pfenning,
2007
.
R. Harper,
F. Pfenning,
P. Lee,
1998
.
F. Pfenning,
P. Lee,
P. Wickline,
2018
.
F. Pfenning,
Henry DeYoung,
Henry Deyoung,
2016
.
F. Pfenning,
Stefan Mitsch,
Brandon Bohrer,
2019
.
Frank Pfenning,
F. Pfenning,
2009
.
Frank Pfenning,
F. Pfenning,
2008
.
Bernardo Toninho,
Frank Pfenning,
Jorge A. Pérez,
2011
.
Frank Pfenning,
Iliano Cervesato,
F. Pfenning,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
J. Lloyd,
F. Pfenning,
M. Hanus,
1997
.
J. Lloyd,
F. Pfenning,
M. Hanus,
1996
.
F. Pfenning,
I. Cervesato,
C. Schürmann,
2012
.
F. Pfenning,
Aleksandar Nanevski,
2015
.
A. Tiwari,
F. Pfenning,
S. Ghilardi,
2007
.
S. Thrun,
F. Pfenning,
Sungwoo Park,
2003
.
F. Pfenning,
Henry DeYoung,
2009
.
Jorge A. Pérez,
F. Pfenning,
Luís Caires,
2012
.
R. Harper,
F. Pfenning,
2001
.
Frank Pfenning,
Kaustuv Chaudhuri,
F. Pfenning,
2003
.
F. Pfenning,
H. Xi,
1998,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
F. Pfenning,
Bernardo Toninho,
J. A. Pérez,
2014
.
F. Pfenning,
I. Cervesato,
C. Schürmann,
2012,
LFMTP '12.
B. Pierce,
R. Harper,
F. Pfenning,
2007
.
F. Pfenning,
I. Cervesato,
1996
.
Frank Pfenning,
F. Pfenning,
2015,
PLMW '15.
Frank Pfenning,
Stephanie Balzer,
Ankush Das,
2019,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Frank Pfenning,
F. Pfenning,
1996,
CAAP.
Frank Pfenning,
F. Pfenning,
2002,
Electron. Notes Theor. Comput. Sci..
F. Pfenning,
W. Chargin,
2018
.
Frank Pfenning,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Frank Pfenning,
Carsten Schuermann,
F. Pfenning,
2002
.
Frank Pfenning,
F. Pfenning,
2015
.
Frank Pfenning,
Karl Crary,
Aleksey Kliger,
2004
.
Gopalan Nadathur,
Frank Pfenning,
F. Pfenning,
1992
.
John Darlington,
Dale Miller,
Tetsuo Ida,
2000
.
F. Pfenning,
R. Simmons,
2007
.
F. Pfenning,
Ruy Ley-Wild,
2010
.
F. Pfenning,
P. Lee,
S. Michaylov,
1989
.
Frank Pfenning,
Peter Lee,
Peter Lee,
1989
.
Frank Pfenning,
Michael Kohlhase,
F. Pfenning,
1993,
ILPS.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1991,
PEPM.
Frank Pfenning,
Peter B. Andrews,
Sunil Issar,
1990,
CADE.
Amy P. Felty,
Dale Miller,
Frank Pfenning,
1990,
CADE.
Frank Pfenning,
F. Pfenning,
2006
.
Frank Pfenning,
Ekkehard Rohwedder,
F. Pfenning,
1996
.
Frank Pfenning,
F. Pfenning,
1992,
Types in Logic Programming.
Frank Pfenning,
F. Pfenning,
2007
.
Frank Pfenning,
F. Pfenning,
1999,
PEPM.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1991,
PEPM.
Frank Pfenning,
Iliano Cervesato,
Kevin Watkins,
2003
.
Frank Pfenning,
F. Pfenning,
1998,
CADE.
Amy P. Felty,
Dale Miller,
Frank Pfenning,
1990
.
Frank Pfenning,
F. Pfenning,
1994,
ICLP 1994.
Frank Pfenning,
F. Pfenning,
1989,
Journal of Symbolic Logic.
Frank Pfenning,
F. Pfenning,
1994,
Lecture Notes in Computer Science.
Frank Pfenning,
F. Pfenning,
2014,
Theory and Practice of Logic Programming.
Frank Pfenning,
Wilfried Sieg,
F. Pfenning,
1998,
Stud Logica.
Frank Pfenning,
F. Pfenning,
2005
.
Frank Pfenning,
F. Pfenning,
2001,
Handbook of Automated Reasoning.
Frank Pfenning,
F. Pfenning,
2006
.
Frank Pfenning,
F. Pfenning,
2013
.
Robert Harper,
Matthias Felleisen,
Frank Pfenning,
2002
.
Frank Pfenning,
F. Pfenning,
2010
.
Krzysztof Czarnecki,
Yannis Smaragdakis,
Frank Pfenning,
2003
.
Frank Pfenning,
Alberto Momigliano,
A. Momigliano,
2001,
ArXiv.
Frank Pfenning,
F. Pfenning,
2006
.
Frank Pfenning,
F. Pfenning,
2009
.
Frank Pfenning,
F. Pfenning,
2004
.
Richard Statman,
Paliath Narendran,
Frank Pfenning,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning,
F. Pfenning,
2004
.
Gopalan Nadathur,
Frank Pfenning,
F. Pfenning,
1992,
Types in Logic Programming.
Frank Pfenning,
Carsten Schürmann,
Joëlle Despeyroux,
1997,
Theoretical Computer Science.
Frank Pfenning,
F. Pfenning,
2002,
Electron. Notes Theor. Comput. Sci..
F. Pfenning,
B. E. Chang,
Andreas Abel,
2007
.
F. Pfenning,
2012
.
Eugene J. Rollins,
F. Pfenning,
P. Lee,
2022
.
F. Pfenning,
Zhibo Chen,
2022,
2210.06663.
F. Pfenning,
Henry Deyoung,
2022
.
F. Pfenning,
J. Reed,
W. Chargin,
2018
.
F. Pfenning,
Henry Deyoung,
2022,
2212.06321.
F. Pfenning,
Henry Deyoung,
2022
.
S. Thrun,
F. Pfenning,
Sungwoo Park,
2008,
TOPL.
Sebastian Thrun,
Frank Pfenning,
Geoffrey J. Gordon,
2003,
IJCAI.
Frank Pfenning,
Ankush Das,
Jan Hoffmann,
2018,
Proc. ACM Program. Lang..
Sebastian Thrun,
Frank Pfenning,
Sungwoo Park,
2005
.
S. Thrun,
F. Pfenning,
Sungwoo Park,
2003
.
Frank Pfenning,
Rowan Davies,
F. Pfenning,
2000,
ICFP '00.
Frank Pfenning,
Iliano Cervesato,
Joshua S. Hodas,
1996,
Theor. Comput. Sci..
Gopalan Nadathur,
Dale Miller,
Frank Pfenning,
1991,
Ann. Pure Appl. Log..
Frank Pfenning,
Robert Harper,
R. Harper,
1991
.
Noam Zeilberger,
Frank Pfenning,
Peter Lee,
2009
.
Frank Pfenning,
Gene Rollins,
Dana Scott,
1988
.
Seth Copen Goldstein,
Frank Pfenning,
Ricardo Rocha,
2014,
Theory and Practice of Logic Programming.
Bor-Yuh Evan Chang,
Frank Pfenning,
Karl Crary,
2002,
GRID.
Claude Kirchner,
Frank Pfenning,
Gilles Dowek,
1996,
JICSLP.
Frank Pfenning,
Peter B. Andrews,
Sunil Issar,
1996,
Journal of Automated Reasoning.
Robert J. Simmons,
Frank Pfenning,
F. Pfenning,
2011,
High. Order Symb. Comput..
Frank Pfenning,
Scott Dietzen,
F. Pfenning,
1992,
Machine Learning.
Frank Pfenning,
Aleksandar Nanevski,
F. Pfenning,
2004
.
Frank Pfenning,
Daniel Nesmith,
F. Pfenning,
1990,
CADE.
Frank Pfenning,
Scott Dietzen,
F. Pfenning,
2004,
Machine Learning.
Frank Pfenning,
F. Pfenning,
2010
.
Frank Pfenning,
Timothy S. Freeman,
F. Pfenning,
1991,
PLDI '91.
Bernardo Toninho,
Frank Pfenning,
Luís Caires,
2011,
PPDP.
Frank Pfenning,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Frank Pfenning,
Karl Crary,
Robert Harper,
2000,
Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Frank Pfenning,
Robert Harper,
Peter Lee,
1998
.
Frank Pfenning,
F. Pfenning,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning,
F. Pfenning,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning,
F. Pfenning,
1994
.
Frank Pfenning,
Hongwei Xi,
F. Pfenning,
1997
.
Frank Pfenning,
Kaustuv Chaudhuri,
F. Pfenning,
2005,
CSL.
Frank Pfenning,
F. Pfenning,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Frank Pfenning,
Conal Elliott,
F. Pfenning,
1988,
PLDI '88.
F. Pfenning,
2006
.
Frank Pfenning,
F. Pfenning,
1988
.
F. Pfenning,
Rowan Davies,
2001,
JACM.
Peter Lee,
Frank Pfenning,
Philip Wickline,
1998,
PLDI.
Frank Pfenning,
Stephanie Balzer,
F. Pfenning,
2015,
AGERE!@SPLASH.
Frank Pfenning,
Joshua Dunfield,
F. Pfenning,
2004,
POPL.
Frank Pfenning,
Joshua Dunfield,
F. Pfenning,
2003,
FoSSaCS.
Frank Pfenning,
William Lovas,
F. Pfenning,
2007,
LFMTP@CADE.
Bernardo Toninho,
Frank Pfenning,
Luís Caires,
2013,
ESOP.
Frank Pfenning,
F. Pfenning,
1993,
Fundam. Informaticae.
Peter Lee,
Frank Pfenning,
F. Pfenning,
1991,
Theor. Comput. Sci..
Frank Pfenning,
Christine Paulin-Mohring,
F. Pfenning,
1989,
Mathematical Foundations of Programming Semantics.
Peter Lee,
Frank Pfenning,
F. Pfenning,
1989,
TAPSOFT, Vol.2.
Bernardo Toninho,
Frank Pfenning,
Jorge A. Pérez,
2010
.
Frank Pfenning,
F. Pfenning,
1984,
CADE.
Frank Pfenning,
Brigitte Pientka,
Aleksandar Nanevski,
2008,
TOCL.
Frank Pfenning,
Sean McLaughlin,
F. Pfenning,
2008,
LPAR.
Frank Pfenning,
F. Pfenning,
2004
.
Frank Pfenning,
Deepak Garg,
F. Pfenning,
2010,
2010 IEEE Symposium on Security and Privacy.
Frank Pfenning,
Klaas Pruiksma,
F. Pfenning,
2020,
Journal of Functional Programming.
Bernardo Toninho,
Frank Pfenning,
Luís Caires,
2013,
ESOP.
Frank Pfenning,
Luís Caires,
F. Pfenning,
2010,
CONCUR.
Bernardo Toninho,
Frank Pfenning,
Luís Caires,
2012,
TLDI '12.
Frank Pfenning,
Deepak Garg,
F. Pfenning,
2005,
CONCUR.
F. Pfenning,
Siva Somayyajula,
2021,
FSCD.
F. Pfenning,
Zhibo Chen,
2022,
Foundations of Software Science and Computation Structure.
Frank Pfenning,
Henry DeYoung,
Andreia Mordido,
2022,
ESOP.
David Walker,
Frank Pfenning,
Iliano Cervesato,
2003
.
Frank Pfenning,
Robert Harper,
R. Harper,
2001,
TOCL.
Frank Pfenning,
Carsten Schürmann,
F. Pfenning,
1998,
Proof Search in Type-Theoretic Languages@CADE.
Frank Pfenning,
Robert Harper,
R. Harper,
1998,
J. Log. Comput..
Frank Pfenning,
Carsten Schürmann,
F. Pfenning,
2003,
TPHOLs.
Frank Pfenning,
F. Pfenning,
2002
.
Frank Pfenning,
Iliano Cervesato,
F. Pfenning,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning,
F. Pfenning,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning,
F. Pfenning,
1991
.
Frank Pfenning,
Conal Elliott,
F. Pfenning,
1990
.
Frank Pfenning,
Carsten Schürmann,
F. Pfenning,
1999,
CADE.
Frank Pfenning,
Peter B. Andrews,
Sunil Issar,
1990,
CADE.
Frank Pfenning,
Karl Crary,
Robert Harper,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
F. Pfenning,
2003
.
Frank Pfenning,
Michael Kohlhase,
F. Pfenning,
1993,
ICLP 1993.
Frank Pfenning,
F. Pfenning,
1992
.
Olivier Danvy,
Frank Pfenning,
F. Pfenning,
1995
.
David Walker,
Frank Pfenning,
Iliano Cervesato,
2003,
TYPES.
Frank Pfenning,
Jeff Polakow,
Jeff Polakow,
1999,
TLCA.
Frank Pfenning,
Carsten Schürmann,
F. Pfenning,
1998,
CADE.
Frank Pfenning,
Jeff Polakow,
Jeff Polakow,
2000
.
Frank Pfenning,
Ekkehard Rohwedder,
F. Pfenning,
1996,
ESOP.
Frank Pfenning,
F. Pfenning,
1994,
CADE.
Frank Pfenning,
F. Pfenning,
1992
.
John Hannan,
Frank Pfenning,
F. Pfenning,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Frank Pfenning,
Ekkehard Rohwedder,
F. Pfenning,
1992,
CADE.
Frank Pfenning,
F. Pfenning,
1992,
ICLP.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1992,
ELP.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1993,
PPCP.
Frank Pfenning,
Spiro Michaylov,
F. Pfenning,
1992
.
F. Pfenning,
Siva Somayyajula,
2023,
MFPS.
Frank Pfenning,
Mark R. Plesko,
F. Pfenning,
1999
.
Frank Pfenning,
Scott Dietzen,
F. Pfenning,
1991,
ISLP.
Frank Pfenning,
Robert Harper,
Peter Lee,
1994
.
Frank Pfenning,
Robert Harper,
Peter Lee,
1994
.
Frank Pfenning,
F. Pfenning,
2007,
CADE.
Bor-Yuh Evan Chang,
Frank Pfenning,
Andreas Abel,
2001
.
Frank Pfenning,
Jeff Polakow,
Pablo López,
2005,
PPDP.
F. Pfenning,
Kaustuv Chaudhuri,
2006
.
F. Pfenning,
Ankush Das,
Andreia Mordido,
2023,
Proc. ACM Program. Lang..
F. Pfenning,
2022
.
A. Krall,
F. Pfenning,
J. Moreno-Navarro,
2001
.
F. Pfenning,
C. Kirchner,
Gilles Dowek,
1996
.
Frank Pfenning,
Brigitte Pientka,
Aleksandar Nanevski,
2003,
MERLIN '03.
Frank Pfenning,
Brigitte Pientka,
F. Pfenning,
2003,
CADE.
Frank Pfenning,
Jason Reed,
F. Pfenning,
2009
.
Frank Pfenning,
Brigitte Pientka,
F. Pfenning,
2003
.
Salvador Lucas,
F. Pfenning,
Salvador Lucas,
1998,
J. Funct. Log. Program..
Frank Pfenning,
Farzaneh Derakhshan,
F. Pfenning,
2019,
Log. Methods Comput. Sci..
F. Pfenning,
Rowan Davies,
2001,
JACM.
Peter Lee,
Frank Pfenning,
Rowan Davies,
1998,
CSUR.
F. Pfenning,
Rowan Davies,
2005
.
F. Pfenning,
Rowan Davies,
1996,
POPL '96.
F. Pfenning,
H. C. Wong,
F. Pfenning,
1995
.
Frank Pfenning,
Carsten Schürmann,
Joëlle Despeyroux,
1997,
Theor. Comput. Sci..
F. Pfenning,
2010
.
F. Pfenning,
1999,
PEPM '00.