Frank Pfenning - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Frank Pfenning' as author, editor, or advisor:

Intuitionistic Metric Temporal LogicLuiz De Sá, Bernardo Toninho, Frank Pfenning. ppdp 2023: [doi]
Types in Logic ProgrammingFrank Pfenning, editor, The MIT Press, 1992.
Nested Session TypesAnkush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. ESOP 2021: 178-206 [doi]
Rast: A Language for Resource-Aware Session TypesAnkush Das, Frank Pfenning. lmcs, 18(1), 2022. [doi]
Session-typed concurrent contractsHannah Gommerstadt, Limin Jia 0001, Frank Pfenning. jlap, 124:100731, 2022. [doi]
A message-passing interpretation of adjoint logicKlaas Pruiksma, Frank Pfenning. jlap, 120:100637, 2021. [doi]
Semi-Axiomatic Sequent CalculusHenry DeYoung, Frank Pfenning, Klaas Pruiksma. fscd 2020: [doi]
Resource-Aware Session Types for Digital ContractsAnkush Das, Stephanie Balzer, Jan Hoffmann 0002, Frank Pfenning, Ishani Santurkar. csfw 2021: 1-16 [doi]
Verified Linear Session-Typed Concurrent ProgrammingAnkush Das, Frank Pfenning. ppdp 2020: [doi]
Manifestly Phased Communication via Shared Session TypesChuta Sano, Stephanie Balzer, Frank Pfenning. coordination 2021: 23-40 [doi]
A Logical Framework with Higher-Order Rational (Circular) TermsZhibo Chen, Frank Pfenning. fossacs 2023: 68-88 [doi]
Domain-Aware Session TypesLuís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho. concur 2019: [doi]
International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002Frank Pfenning, editor, Volume 70 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Parametric Subtyping for Structural Parametric PolymorphismHenry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das. PACMPL, 8(POPL):2700-2730, January 2024. [doi]
Relating Message Passing and Shared Memory, Proof-TheoreticallyFrank Pfenning, Klaas Pruiksma. coordination 2023: 3-27 [doi]
Type-Based Termination for FuturesSiva Somayyajula, Frank Pfenning. fscd 2022: [doi]
Nested Session TypesAnkush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. TOPLAS, 44(3), 2022. [doi]
Session Types with Arithmetic RefinementsAnkush Das, Frank Pfenning. concur 2020: [doi]
Circular Proofs as Session-Typed Processes: A Local Validity ConditionFarzaneh Derakhshan, Frank Pfenning. lmcs, 18(2), 2022. [doi]
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)Ankush Das, Frank Pfenning. fscd 2020: [doi]
Polarized SubtypingZeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. ESOP 2022: 431-461 [doi]
A Decade of Dependent Session TypesBernardo Toninho, Luís Caires, Frank Pfenning. ppdp 2021: [doi]
Back to futuresKlaas Pruiksma, Frank Pfenning. JFP, 32, 2022. [doi]

runs on WebDSL