Seuraa
Frank Pfenning
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.cmu.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Higher-order abstract syntax
F Pfenning, C Elliott
ACM sigplan notices 23 (7), 199-208, 1988
10221988
Uniform proofs as a foundation for logic programming
D Miller, G Nadathur, F Pfenning, A Scedrov
Annals of Pure and Applied logic 51 (1-2), 125-157, 1991
9291991
System description: Twelf—a meta-logical framework for deductive systems
H Ganzinger, F Pfenning, C Schürmann
Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999
9051999
Dependent types in practical programming
H Xi, F Pfenning
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
8301999
Refinement types for ML
T Freeman, F Pfenning
Proceedings of the ACM SIGPLAN 1991 conference on Programming language …, 1991
6531991
A modal analysis of staged computation
R Davies, F Pfenning
Journal of the ACM (JACM) 48 (3), 555-604, 2001
5662001
Session types as intuitionistic linear propositions
L Caires, F Pfenning
International Conference on Concurrency Theory, 222-236, 2010
5032010
A judgmental reconstruction of modal logic
F Pfenning, R Davies
Mathematical structures in computer science 11 (4), 511-540, 2001
5002001
Eliminating array bound checking through dependent types
H Xi, F Pfenning
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
4381998
Contextual modal type theory
A Nanevski, F Pfenning, B Pientka
ACM Transactions on Computational Logic (TOCL) 9 (3), 1-49, 2008
3792008
Logic programming in the LF logical framework
F Pfenning
Logical frameworks, 149-181, 1991
3671991
A linear logical framework
I Cervesato, F Pfenning
Information and computation 179 (1), 19-75, 2002
3092002
A concurrent logical framework I: Judgments and properties
K Watkins, I Cervesato, F Pfenning, D Walker
Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie …, 2003
2232003
Logical frameworks.
F Pfenning
Handbook of automated reasoning 2, 1063-1147, 2001
2222001
Elf: A language for logic definition and verified metaprogramming
F Pfenning
LICS 89 (17), 313-322, 1989
2191989
TPS: A theorem-proving system for classical type theory
PB Andrews, M Bishop, S Issar, D Nesmith, F Pfenning, H Xi
Journal of automated reasoning 16, 321-353, 1996
2101996
Inductively defined types in the Calculus of Constructions
F Pfenning, C Paulin-Mohring
Mathematical Foundations of Programming Semantics: 5th International …, 1990
2041990
Types in logic programming
F Pfenning
2031992
Linear logic propositions as session types
L Caires, F Pfenning, B Toninho
Mathematical Structures in Computer Science 26 (3), 367-423, 2016
1952016
Unification and anti-unification in the Calculus of Constructions
F Pfenning
LICS 91, 74-85, 1991
1891991
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20