Conference Efficient resource management for linear logic proof search 1996 • Lecture Notes in Computer Science • 1050:67-81 Cervesato I, Hodas JS, Pfenning F
Conference Mode and termination checking for higher-order logic programs 1996 • Lecture Notes in Computer Science • 1058:296-310 Rohwedder E, Pfenning F
Conference The practice of logical frameworks 1996 • Lecture Notes in Computer Science • 1059:119-134 Pfenning F
Journal Article TPS: A theorem-proving system for classical type theory 1996 • Journal of Automated Reasoning • 16(3):321-353 Andrews PB, Bishop M, Issar S, Nesmith D, Pfenning F, Xi HW
Journal Article On a Modal λ-Calculus for S4 1995 • Electronic Notes in Theoretical Computer Science • 1(C):515-534 Pfenning F, Wong HC
Conference Structural cut elimination 1995 • Proceedings - Symposium on Logic in Computer Science • 156-166 PFENNING F
Conference Elf: A meta-language for deductive systems (System description) 1994 • Lecture Notes in Computer Science • 814 LNAI:811-815 Pfenning F
Journal Article Incremental Recompilation for Standard ML of New Jersey 1994 Harper R, Pfenning F, Lee P, Rollins E
Conference TPS: An interactive and automatic tool for proving theorems of type theory 1994 • Lecture Notes in Computer Science • 780 LNCS:366-370 Andrews PB, Bishop M, Issar S, Nesmith D, Pfenning F, Xi H
Journal Article On the Undecidability of Partial Polymorphic Type Reconstruction 1993 • Fundamenta Informaticae • 19(1-2):185-199 Pfenning F
Conference ON THE UNIFICATION PROBLEM FOR CARTESIAN CLOSED CATEGORIES 1993 • Proceedings - Symposium on Logic in Computer Science • 57-63 NARENDRAN P, PFENNING F, STATMAN R
Journal Article A Module System for a Programming Language Based on the LF Logical Framework 1992 Harper R, Pfenning F
Journal Article A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework 1992 Pfenning F
Conference Compiler verification in LF 1992 • Proceedings - Symposium on Logic in Computer Science • 407-418 Hannan J, Pfenning F
Journal Article HIGHER-ORDER AND MODAL LOGIC AS A FRAMEWORK FOR EXPLANATION-BASED GENERALIZATION 1992 • Machine Learning • 9(1):23-55 DIETZEN S, PFENNING F
Conference IMPLEMENTING THE META-THEORY OF DEDUCTIVE SYSTEMS 1992 • AUTOMATED DEDUCTION - CADE-11 • 607:536-551 PFENNING F, ROHWEDDER E
Conference Implementing the meta-theory of deductive systems 1992 • Lecture Notes in Computer Science • 607 LNAI:537-551 Pfenning F, Rohwedder E
Journal Article IMPLEMENTING THE META-THEORY OF DEDUCTIVE SYSTEMS 1992 • Lecture Notes in Computer Science • 607:536-551 PFENNING F, ROHWEDDER E
Journal Article NATURAL SEMANTICS AND SOME OF ITS META-THEORY IN ELF 1992 • Lecture Notes in Computer Science • 596:299-344 MICHAYLOV S, PFENNING F
Conference NATURAL SEMANTICS AND SOME OF ITS META-THEORY IN ELF 1992 • EXTENSIONS OF LOGIC PROGRAMMING • 596:299-344 MICHAYLOV S, PFENNING F
Journal Article COMPILING THE POLYMORPHIC LAMBDA-CALCULUS 1991 • ACM Sigplan Notices • 26(9):285-296 MICHAYLOV S, PFENNING F
Conference Compiling the polymorphic λ-calculus 1991 • ACM Sigplan Notices • 285-296 Michaylov S, Pfenning F
