Frank Pfenning

Identifiers

• name variant Frank Pfenning 0.60 · backfill

Papers (7)

1. Ordered Adjoint Logic (Extended Version) cs.LO · 2026 · author #2
2. Domain-Aware Session Types (Extended Version) cs.LO · 2019 · author #3
3. Parallel Complexity Analysis with Temporal Session Types cs.PL · 2018 · author #3
4. Work Analysis with Resource-Aware Session Types cs.PL · 2017 · author #3
5. Non-Blocking Concurrent Imperative Programming with Session Types cs.LO · 2017 · author #3
6. On Equivalence and Canonical Forms in the LF Type Theory cs.LO · 2001 · author #2
7. Higher-Order Pattern Complement and the Strict Lambda-Calculus cs.LO · 2001 · author #2

Mentions

• 2605.19112 #2 · arxiv_oai · confidence 0.70 Frank Pfenning

Frequent Coauthors

• Ankush Das 2 shared papers
• Jan Hoffmann 2 shared papers
• Alberto Momigliano 1 shared papers
• Bernardo Toninho 1 shared papers
• Jorge A. P\'erez 1 shared papers
• Lu\'is Caires 1 shared papers
• M\'ario Florido 1 shared papers
• Miguel Silva 1 shared papers
• Robert Harper 1 shared papers
• Sophia Roshal 1 shared papers