Frank Pfenning
Carnegie Mellon University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Distributed systems and fault tolerance, Security and Verification in Computing
Most-Cited Works
- → System Description: Twelf — A Meta-Logical Framework for Deductive Systems(1999)595 cited
- → Higher-order abstract syntax(1988)583 cited
- → Dependent types in practical programming(1999)577 cited
- → Uniform proofs as a foundation for logic programming(1991)570 cited
- → A judgmental reconstruction of modal logic(2001)347 cited
- → Session Types as Intuitionistic Linear Propositions(2010)310 cited
- → A modal analysis of staged computation(2001)293 cited