Frank Pfenning

Q: What Schools Are Affiliated With Frank Pfenning

Frank Pfenning is affiliated with the following schools: University of California, Berkeley, Stanford University, Carnegie Mellon University

Frank Pfenning's AcademicInfluence.com Rankings

Frank Pfenning

Computer Science

#1432

World Rank

#1481

Historical Rank

Database

#1782

World Rank

#1867

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Frank Pfenning's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Why Is Frank Pfenning Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Frank Pfenning is a German-American professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University. Education and career Pfenning grew up in Rüsselsheim in Germany. He studied mathematics and computer science at Technische Universität Darmstadt in Germany. He then moved to the US and studied at Carnegie Mellon University, where he received his M.S. and Ph.D. in the Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order Logic. He was a student of Peter B. Andrews.

(See a Problem?)

Frank Pfenning's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Higher-order abstract syntax (1988) (799)
Uniform Proofs as a Foundation for Logic Programming (1991) (758)
System Description: Twelf - A Meta-Logical Framework for Deductive Systems (1999) (743)
Dependent types in practical programming (1999) (622)
Refinement types for ML (1991) (452)
A judgmental reconstruction of modal logic (2001) (383)
Session Types as Intuitionistic Linear Propositions (2010) (349)
Eliminating array bound checking through dependent types (1998) (323)
Logic programming in the LF logical framework (1991) (308)
A modal analysis of staged computation (1996) (301)
Contextual modal type theory (2008) (268)
Logical Frameworks (2001) (263)
A linear logical framework (1996) (230)
Logic Programming and Automated Reasoning (1994) (194)
Primitive recursion for higher-order abstract syntax (1997) (188)
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (2007) (179)
A concurrent logical framework I: Judgments and properties (2003) (175)
Elf: a language for logic definition and verified metaprogramming (1989) (172)
A modal analysis of staged computation (2001) (166)
Types in Logic Programming (1992) (150)
Unification and anti-unification in the calculus of constructions (1991) (145)
Inductively Defined Types in the Calculus of Constructions (1989) (139)
Intersection types and computational effects (2000) (135)
Partial polymorphic type inference and higher-order unification (1988) (129)
Structural cut elimination (1995) (121)
Linear logic propositions as session types (2014) (121)
Structural Cut Elimination: I. Intuitionistic and Classical Logic (2000) (119)
Intensionality, extensionality, and proof irrelevance in modal type theory (2001) (118)
Theory and Practice of Logic Programming (2014) (116)
Non-interference in constructive authorization logic (2006) (115)
On equivalence and canonical forms in the LF type theory (2001) (113)
A symmetric modal lambda calculus for distributed computing (2004) (113)
Efficient resource management for linear logic proof search (1996) (112)
Higher-Order Processes, Functions, and Sessions: A Monadic Integration (2013) (107)
TPS: A theorem-proving system for classical type theory (1996) (96)
Dependent session types via intuitionistic linear type theory (2011) (90)
A Concurrent Logical Framework: The Propositional Fragment (2003) (90)
AUTOMATING HIGHER-ORDER LOGIC (1984) (88)
Compiler verification in LF (1992) (85)
A Linear Spine Calculus (2003) (82)
A probabilistic language based upon sampling functions (2005) (82)
Tridirectional typechecking (2004) (82)
Unification via Explicit Substitutions: The Case of Higher-Order Patterns (1996) (81)
A Concurrent Logical Framework II: Examples and Applications (2003) (79)
A Logical Characterization of Forward and Backward Chaining in the Inverse Method (2006) (77)
A judgmental analysis of linear logic (2003) (75)
Type Assignment for Intersections and Unions in Call-by-Value Languages (2003) (74)
A probabilistic language based on sampling functions (2008) (74)
Monadic concurrent linear logic programming (2005) (72)
A Coverage Checking Algorithm for LF (2003) (71)
A Linear Logic of Authorization and Knowledge (2006) (71)
Polarized Substructural Session Types (2016) (69)
Natural Semantics and Some of Its Meta-Theory in Elf (1992) (68)
Mode and Termination Checking for Higher-Order Logic Programs (1996) (68)
Automated Theorem Proving in a Simple Meta-Logic for LF (1998) (65)
A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework (1992) (65)
Natural Deduction for Intuitionistic Non-communicative Linear Logic (1999) (65)
Behavioral Polymorphism and Parametricity in Session-Based Communication (2013) (64)
Manifest sharing with session types (2017) (64)
The logical basis of evaluation order and pattern-matching (2009) (64)
Elf: A Meta-Language for Deductive Systems (System Descrition) (1994) (62)
Ordered linear logic and applications (2001) (62)
Implementing the Meta-Theory of Deductive Systems (1992) (59)
A Semi-Functional Implementation of a Higher-Order Logic Programming Language (1990) (58)
On the Undecidability of Partial Polymorphic Type Reconstruction (1993) (58)
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (2012) (57)
Run-time code generation and modal-ML (1998) (56)
A monadic analysis of information flow security with mutable state (2005) (56)
Linear Logical Relations for Session-Based Concurrency (2012) (55)
The Practice of Logical Frameworks (1996) (55)
Practical refinement-type checking (2005) (55)
The TPS Theorem Proving System (1990) (49)
Modal types as staging specifications for run-time code generation (1998) (48)
A Proof-Carrying File System (2010) (48)
Resource-Aware Session Types for Digital Contracts (2019) (48)
An Authorization Logic With Explicit Time (2008) (47)
Linear logical relations and observational equivalences for session-based concurrency (2014) (47)
Staged computation with names and necessity (2005) (47)
Automating the meta theory of deductive systems (2000) (47)
Manifest Deadlock-Freedom for Shared Session Types (2019) (45)
Optimizing Higher-Order Pattern Unification (2003) (45)
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic (2001) (45)
Functions as Session-Typed Processes (2012) (45)
Proof-Carrying Code in a Session-Typed Process Calculus (2011) (45)
An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs (1992) (44)
LEAP: A Language with Eval And Polymorphism (1989) (44)
Uniication and Anti-uniication in the Calculus of Constructions (1991) (44)
Twelf User''s Guide (2002) (43)
Tabled higher-order logic programming (2003) (41)
A type theory for memory allocation and data layout (2003) (41)
Substructural Operational Semantics as Ordered Logic Programming (2009) (41)
Monitors and blame assignment for higher-order session types (2016) (40)
On the unification problem for Cartesian closed categories (1993) (39)
A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data (2003) (38)
The Type System of a Higher-Order Logic Programming Language (1992) (37)
The focused inverse method for linear logic (2006) (37)
Analytic and Non-analytic Proofs (1984) (36)
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic (1999) (36)
Structural Cut Elimination in Linear Logic. (1994) (36)
Metacircularity in the Polymorphic lambda-Calculus (1991) (35)
On a Modal -calculus for S4 ? (1995) (34)
Corecursion and Non-divergence in Session-Typed Processes (2014) (34)
On proving syntactic properties of CPS programs (1999) (34)
The ergo support system: an integrated set of tools for prototyping integrated environments (1989) (33)
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic (2008) (33)
On a Modal λ-Calculus for S41 1This work is supported by NSF Grant CCR-9303383 and the Advanced Research Projects Agency under ARPA Order No. 8313. (1995) (32)
Trustless Grid Computing in ConCert (2002) (32)
Dependent Types in Logic Programming (1992) (31)
Consumable Credentials in Linear-Logic-Based Access-Control Systems (2007) (31)
ETPS: A System to Help Students Write Formal Proofs (2004) (30)
A hybrid logical framework (2009) (30)
Focusing the Inverse Method for Linear Logic (2005) (29)
Work Analysis with Resource-Aware Session Types (2017) (29)
Twelf User's Guide Version 1.2., (1998) (29)
Algorithms for Equality and Unification in the Presence of Notational Definitions (1998) (28)
A Module System for a Programming Language Based on the LF Logical Framework (1998) (28)
Parallel complexity analysis with temporal session types (2018) (27)
The Occurrence of Continuation Parameters in CPS Terms (1995) (27)
Linear Logical Algorithms (2008) (26)
Single Axioms in the Implicational Propositional Calculus (1988) (26)
On a modal lambda calculus for S4 (1995) (26)
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (2009) (26)
Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk) (2004) (25)
Towards concurrent type theory (2012) (25)
Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic (2009) (24)
Consumable Credentials in Logic-Based Access-Control Systems (2006) (23)
Linear higher-order pre-unification (1997) (22)
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems (2007) (21)
Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework (2000) (21)
Session-Typed Concurrent Contracts (2018) (21)
A Structural Proof of Cut Elimination and Its Representation in a Logical Framework (1994) (21)
The Fox Project: Advanced Language Technology for Extensible Systems (1998) (21)
Automated Theorem Proving (2004) (20)
Specifying Properties of Concurrent Computations in CLF (2008) (20)
Termination and Reduction Checking in the Logical Framework (2000) (20)
A Bidirectional Refinement Type System for LF (2007) (20)
Substructural logical specifications (2012) (20)
Functional programming with names and necessity (2004) (19)
A Message-Passing Interpretation of Adjoint Logic (2019) (19)
Higher-order rewriting with dependent types (lambda calculus) (1999) (18)
A language with eval and polymorphism (1989) (18)
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic (2005) (18)
The ergo attribute system (1989) (17)
Higher-Order Logic Programming as Constraint Logic Programming (1993) (17)
Church and Curry: Combining Intrinsic and Extrinsic Typing (2008) (17)
Presenting Intuitive Deductions via Symmetric Simplification (1990) (17)
Automated techniques for provably safe mobile code (2000) (16)
Design and Implementation of Concurrent C0 (2017) (16)
Programming in Standard ML (2002) (16)
Circular Proofs as Session-Typed Processes: A Local Validity Condition (2019) (16)
Session Types with Arithmetic Refinements (2020) (16)
Proof Transformations in Higher-Order Logic (2009) (15)
A Linear Logic Programming Language for Concurrent Programming over Graph Structures (2014) (15)
Unification in a l-calculus with intersection types (1993) (15)
Logical Frameworks—A Brief Introduction (2002) (14)
A Declarative Alternative to "Assert" in Logic Programming (1991) (14)
Incremental Recompilation for Standard ML of New Jersey (1994) (14)
Stateful authorization logic - Proof theory and a case study (2010) (13)
A concurrent logical framework I & II (2003) (13)
Consumable Credentials in Logic-Based Access Control (2006) (13)
Higher-order pattern complement and the strict λ-calculus (2001) (12)
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance (2010) (12)
A modal foundation for meta-variables (2003) (12)
Program development through proof transformation (1988) (12)
Nested Session Types (2020) (11)
A Universal Session Type for Untyped Asynchronous Communication (2018) (11)
A Compilation Manager for Standard ML of New Jersey (1994) (11)
Types in Higher-Order Logic Programming (1992) (10)
Ordered Linear Logic Programming (1998) (10)
Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic (2010) (10)
Research on Semantically Based Program-Design Environments: The Ergo Project in 1988 (1988) (9)
Review: Jean H. Gallier, Logic for Computer Science. Foundations of Automatic Theorem Proving (1989) (9)
Mode and termination analysis for higher-order logic programs (1996) (9)
Verified Linear Session-Typed Concurrent Programming (2020) (9)
Dependent Types in Practical Programming. Extended Abstract. (1999) (9)
A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework (1999) (9)
Weak Focusing for Ordered Linear Logic (CMU-CS-10-147) (2011) (9)
Objects as session-typed processes (2015) (9)
Linear logical approximations (2009) (9)
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description) (2020) (9)
Bottom-Up Logic Programming for Multicores (2012) (8)
Semi-Axiomatic Sequent Calculus (2020) (8)
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory (1993) (8)
Stateful Authorization Logic: - Proof Theory and a Case Study (2010) (7)
Higher-order and modal logic as a framework for explanation-based generalization (2004) (7)
Subtyping on Nested Polymorphic Session Types (2021) (7)
Verifying Uniqueness in a Logical Framework (2004) (7)
Intersection Types for a Logical Framework (1992) (7)
Logical approximation for program analysis (2011) (6)
Higher-Order Pattern Complement and the Strict Lambda-Calculus (2001) (6)
Term Rewriting And Applications (2006) (6)
Unification in a Lambda-Calculus with Intersection Types (1993) (6)
Teaching Imperative Programming With Contracts at the Freshmen Level (2011) (6)
Elf : A MetaLanguage for Deductive Systems ( System Description ) (1994) (6)
Foundations of Software Science and Computation Structures (2013) (6)
A programming language for probabilistic computation (2005) (5)
Relational Parametricity for Polymorphic Session Types (2010) (5)
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization (1992) (5)
Distributed deductive databases, declaratively: the L10 logic programming language (2011) (4)
Rast: A Language for Resource-Aware Session Types (2020) (4)
Trace matching in a concurrent logical framework (2012) (4)
Adjoint Logic and Its Concurrent Operational Interpretation (2018) (4)
Note by the Guest Editors (1998) (4)
Refinement Types as Proof Irrelevance (2009) (4)
Intuitionistic Letcc via Labelled Deduction (2009) (4)
Substructural Proofs as Automata (2016) (4)
Proceedings of the 2nd international conference on Generative programming and component engineering (2003) (4)
Intersections and Unions of Session Types (2017) (4)
Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points (2020) (4)
The Focused Constraint Inverse Method for Intuitionistic Modal Logics (2010) (3)
A Logical Representation of Common Rules for Controlling Access to Classified Information (2009) (3)
Modularity in the LF Logical Framework (1991) (3)
Corecursion and Non-Divergence in Session Types (2014) (3)
Manifest Security for Distributed Information (2006) (3)
A Constructive Approach to the Resource Semantics of Substructural Logics (2009) (3)
Non-Blocking Concurrent Imperative Programming with Session Types (2017) (3)
Computation and Deduction (2020) (3)
Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements (2021) (3)
Logic-Based Domain-Aware Session Types (2013) (3)
Reasoning about Staged Computation (2000) (3)
Termination in Session-Based Concurrency via Linear Logical Relations (Extended Version) (2011) (3)
Type-Directed Concurrency (2005) (3)
Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus Extended (1989) (3)
Substructural Operational Semantics (2006) (2)
A monadic analysis of info flow security with mutable state (2004) (2)
Session Types with Arithmetic Refinements and Their Application to Work Analysis (2020) (2)
Type Refinements (2001) (2)
Domain-Aware Session Types (2019) (2)
On a Logical Foundation for Explicit Substitutions (2007) (2)
CLF: A Dependent Logical Framework for Concurrent Computations∗ (2004) (2)
The Relative Complement Problem for Higher-Order Patterns (1999) (2)
Lecture Notes on Combinatory Modal Logic (2010) (2)
Lecture Notes on Judgments and Propositions (2010) (2)
A Monadic Probabilistic Language (2003) (2)
Towards a Functional Library for Fault-Tolerant Grid Computing (2002) (2)
Manifestly Phased Communication via Shared Session Types (2021) (2)
Coinductive Session Types in Higher-Order Communication Centric Programs (2013) (1)
The LF Seminar Meeting 1 Term Representation Lecture : Frank Pfenning (2007) (1)
On a Modal λ-Calculus for S 4 ? (1)
Polarized Subtyping (2022) (1)
15-814 : Types and Programming Languages (2018) (1)
Compiling the polymorphic λ-calculus (1991) (1)
Subtyping and intersection types revisited (2007) (1)
Data Layout from a Type-Theoretic Perspective (2022) (1)
A Game-Based Architecture for Developing Interactive Components in Computational Logic (2000) (1)
Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (2006) (1)
Lecture Notes on Classical Linear Logic (2012) (1)
Lecture Notes on Categorical Judgments (2010) (1)
Logic: An Authorization Logic with Explicit Time (2008) (1)
Tutorial on Lambda-Prolog (1990) (1)
Lecture Notes on Register Allocation (2008) (1)
Thesis Proposal Practical End-to-End Verification of Cyber-Physical Systems (2019) (1)
Lecture Notes on Compiler Design: Overview (2010) (1)
Logical and Meta-Logical Frameworks (Abstract) (1999) (1)
Data Layout from a Type-Theoretic Perspective (extended version) (2022) (1)
Domain-Aware Session Types (Extended Version) (2019) (1)
Benjamin C. Pierce. Types and programming languages . The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp. (2004) (1)
Editorial: Strategies in Automated Deduction (2001) (1)
Proceedings of the 17th international conference on Term Rewriting and Applications (2006) (1)
A Shared-Memory Semantics for Mixed Linear and Non-Linear Session Types (2018) (1)
Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning (1994) (1)
Proceedings of the 21st international conference on Automated Deduction: Automated Deduction (2007) (1)
A Decade of Dependent Session Types (2021) (1)
Term Rewriting and Applications: 17th International Conference, RTA 2006Seattle, WA, USA, August 12-14, 2006Proceedings (Lecture Notes in Computer Science) (2006) (1)
Avoiding Causal Dependencies via Proof Irrelevance in a Concurrent Logical Framework (2006) (1)
Sorting 15-122 : Principles of Imperative Computation (2010) (1)
Nested Polymorphic Session Types (2020) (1)
A Schema for Adding Dependent Types to ML (1997) (1)
Resource Management for the Inverse Method in Linear Logic (2003) (1)
Corecursion in Session-Typed Processes (2014) (1)
Generative Programming and Component Engineering (2003) (1)
Supplementary Notes on Futures (2002) (0)
Advanced Language Technology for Extensible Systems (1998) (0)
Lecture Notes on Cut Elimination (2012) (0)
15 – 212 : Fundamental Structures of Computer Science II Some Notes on Structural Induction (1997) (0)
Cut Elimination 15-317 : Constructive Logic (2016) (0)
{72 () a Linear Logical Framework (1996) (0)
Abstract Logic Programming (2006) (0)
Accountability for Information Flow via Explicit Formal Proof (2009) (0)
In ( 0 N 4 Incremental Recompilation for Standard ML of New Jersey 0 (0)
Lecture 7 Notes Quicksort (2016) (0)
Possession as Linear Knowledge (2010) (0)
Foundations of Formal Program Development Other Faculty: Gradute Students: Ergo Report (2009) (0)
On the Logical Foundations of Staged Computation (Abstract of Invited Talk) (1999) (0)
15–212: Fundamental Structures of Computer Science II Some Notes on Grammars and Parsing (1997) (0)
15 – 212 : Fundamental Structures of Computer Science II Some Notes on Interpreters (1997) (0)
Lecture Notes on Abstract Syntax (2003) (0)
Bottom-Up Logic Programming (2006) (0)
Relational Parametricity for Polymorphic Session Types ( Extended Version ) ? (2012) (0)
Workshop Automated Deduction: Decidability, Complexity, Tractability (2007) (0)
on Loop Optimizations 15-411 : Compiler Design (2013) (0)
Modeling Store 15-814 : Types and Programming Languages (2018) (0)
Declaratively distributed deductive databases The L 10 logic programming language (2011) (0)
Quicksort 15-122 : Principles of Imperative Computation ( Spring 2019 ) (2018) (0)
The Formal Speciication of Programming Languages Thesis Advisor: Committee (2007) (0)
Computational Interpretations of Modalities 15-816 : Modal Logic (2010) (0)
Session details: Session 5 (2005) (0)
Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (1998) (0)
Quicksort 15-122 : Principles of Imperative Computation (2011) (0)
Preface (2002) (0)
Linear Monadic Logic Programming (2006) (0)
A Proof-Carrying File System with Revocable and Use-Once Certificates (2011) (0)
Logic-Based Domain-Aware Session Types Luı́s (2014) (0)
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002) (0)
An Isomorphism Between Substructural Proofs and Deterministic Finite Automata (2016) (0)
Lecture Notes on Parametricity (2018) (0)
Intermediate Representation 15-411 : Compiler Design (2008) (0)
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (1994) (0)
Compiling the Polymorphic Lambda-Calculus (1991) (0)
Manifest Security (2007) (0)
Lecture Notes on Intermediate Representation (2010) (0)
Back to futures (2020) (0)
Run-time Code Generation and Modal (2018) (0)
A Logical Framework with Higher-Order Rational (Circular) Terms (2022) (0)
Tries 15-122 : Principles of Imperative Computation (2011) (0)
A u t o m a t e d Theorem Proving in a Simple Meta-Logic for LF (0)
Invited talk: Tri-Directional Type Checking (2002) (0)
Programming with Higher-Order Logic, by Dale Miller and Gopalan Nadathur, Cambridge University Press, 2012, Hardcover, ISBN-10: 052187940X, xiv + 306 pp (2014) (0)
on Representation Independence 15-814 : Types and Programming Languages (2019) (0)
Lecture Notes on Uniﬁcation (2012) (0)
15 – 212 : Fundamental Structures of Computer Science II Some Notes on Induction (1997) (0)
Eecient Resource Management Comments Are Welcome! for Linear Logic Proof Search (1997) (0)
Session details: Session 5B: Programming Models I (2015) (0)
Lecture Notes on Futures (2003) (0)
Session details: Medley I (2009) (0)
Review of ``Benjamin C. Pierce: Types and programming languages, The MIT P roess, Cambridge, Massachusett s, 2002'' (2004) (0)
Session details: Session 5B: Programming Models I (2015) (0)
Selection 15-411 : Compiler Design (2009) (0)
Message-Passing Concurrency 15-814 : Types and Programming Languages (2018) (0)
The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming a Declarative Debugging Scheme (1997) (0)
Proof theory and its role in programming language research (2015) (0)
2 Adjoint Logic with Explicit Structural Rules (2018) (0)
The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming Compile-time Pointer Reversal (1996) (0)
The Practice and Promise of Substructural Frameworks: Invited Presentation at the 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (2010) (0)
On the Overhead of CPS (1996) (0)
Functional Programming 1 Staged Computation with Names and Necessity (2015) (0)
On Matching Concurrent Traces (2012) (0)
Lecture Notes on Constructive Logic: Overview (2009) (0)
On the logical foundations of staged computation (invited talk) (1999) (0)
Avoiding Spurious Causal Dependencies via Proof Irrelevance in a Concurrent Logical Framework (2010) (0)
Quicksort 15-122 : Principles of Imperative Computation ( Fall 2019 ) (2017) (0)
lProlog (tutorial) (1990) (0)
Quicksort 15-122 : Principles of Imperative Computation ( Summer 1 2015 ) (2015) (0)
Mode checking in the Concurrent Logical Framework (2014) (0)
Some Notes on Deterministic and Non-Deterministic Finite Automata (0)
Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures (2013) (0)
Lecture Notes on Proofs as Programs (2010) (0)
Union-Find 15-122 : Principles of Imperative Computation ( Summer 1 2015 ) (2012) (0)
15 – 212 : Fundamental Structures of Computer Science II Some Notes on Mutable References (1997) (0)
Constructive Logic : Overview 15-317 : Constructive Logic (2009) (0)
on Unification 15-317 : Constructive Logic (2015) (0)
Dynamic Programming 15-122 : Principles of Imperative Computation (2010) (0)
Polymorphism 15-122 : Principles of Imperative Computation (2010) (0)
Distributed System Security via Logical Frameworks (SeLF) (2008) (0)
Supplementary Notes on Abstract Syntax (2002) (0)
Type-Based Termination for Futures (2021) (0)
Inductive and Coinductive Session Types in Higher-Order Concurrent Programs (2013) (0)
Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings (2003) (0)
Compiler Generation for Substructural Operational Semantics (2012) (0)
Workshop on Strategies in Automated Deduction Table of Contents Part I: Invited Talks Using Rewriting and Strategies for the Implementation of the B Predicate Prover Proof Planning with Multiple Strategies (2007) (0)
Modularity Matters Most (2001) (0)
Lecture Notes on Union-find (2011) (0)
Towards a type theory of contexts (2005) (0)

This paper list is powered by the following services:

Other Resources About Frank Pfenning

What Schools Are Affiliated With Frank Pfenning?

Frank Pfenning is affiliated with the following schools:

Frank Pfenning's Academic­Influence.com Rankings