Frank Pfenning
Publication Activity (10 Years)
Years Active: 1984-2024
Publications (10 Years): 57
Publications (10 Years): 57
Publications
- Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka
- Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka
- Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
- Zhibo Chen, Frank Pfenning
- Zhibo Chen, Frank Pfenning
- Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
- Frank Pfenning, Klaas Pruiksma
- Luiz De Sá, Bernardo Toninho, Frank Pfenning
- Siva Somayyajula, Frank Pfenning
- Siva Somayyajula, Frank Pfenning
- Henry DeYoung, Frank Pfenning
- Zhibo Chen, Frank Pfenning
- Ankush Das, Frank Pfenning
- Farzaneh Derakhshan, Frank Pfenning
- Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank PfenningPolarized Subtyping. CoRR (2022)
- Hannah Gommerstadt, Limin Jia, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Klaas Pruiksma, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Chuta Sano, Stephanie Balzer, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Chuta Sano, Stephanie Balzer, Frank Pfenning
- Klaas Pruiksma, Frank Pfenning
- Bernardo Toninho, Luís Caires, Frank Pfenning
- Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar
- Klaas Pruiksma, Frank PfenningBack to Futures. CoRR (2020)
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank PfenningNested Session Types. CoRR (2020)
- Ankush Das, Frank Pfenning
- Ankush Das, Frank Pfenning
- Ankush Das, Frank Pfenning
- Henry DeYoung, Frank Pfenning, Klaas Pruiksma
- Ankush Das, Frank Pfenning
- Ankush Das, Frank Pfenning
- Stephanie Balzer, Bernardo Toninho, Frank Pfenning
- Farzaneh Derakhshan, Frank Pfenning
- Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
- Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning
- Klaas Pruiksma, Frank Pfenning
- Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Stephanie Balzer, Frank Pfenning, Bernardo Toninho
- Hannah Gommerstadt, Limin Jia, Frank Pfenning
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Stephanie Balzer, Frank Pfenning
- Cosku Acay, Frank Pfenning
- Max Willsey, Rokhini Prabhu, Frank Pfenning
- Luís Caires, Frank Pfenning, Bernardo Toninho
- Miguel Silva, Mário Florido, Frank Pfenning
- Limin Jia, Hannah Gommerstadt, Frank Pfenning
- Henry DeYoung, Frank Pfenning
- Frank Pfenning, Dennis Griffith
- Stephanie Balzer, Frank Pfenning
- Frank Pfenning
- Bernardo Toninho, Luís Caires, Frank Pfenning
- Bernardo Toninho, Luís Caires, Frank Pfenning
- Bernardo Toninho, Luís Caires, Frank Pfenning
- Luís Caires, Frank Pfenning, Bernardo Toninho
- Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
- Deepak Garg, Frank Pfenning
- Bernardo Toninho, Luís Caires, Frank Pfenning
- Robert J. Simmons, Frank Pfenning
- Jamie Morgenstern, Deepak Garg, Frank Pfenning
- Frank Pfenning, Luís Caires, Bernardo Toninho
- Deepak Garg, Frank Pfenning
- Deepak Garg, Frank Pfenning
- Luís Caires, Frank Pfenning
- Frank Pfenning
- Jason Reed, Frank Pfenning
- Sean McLaughlin, Frank Pfenning
- William Lovas, Frank Pfenning
- Robert J. Simmons, Frank Pfenning
- Frank Pfenning, Robert J. Simmons
- Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka
- Kaustuv Chaudhuri, Frank Pfenning, Greg Price
- Henry DeYoung, Deepak Garg, Frank Pfenning
- Robert J. Simmons, Frank Pfenning
- William Lovas, Frank Pfenning
- Sungwoo Park, Frank Pfenning, Sebastian Thrun
- Frank Pfenning
- Frank Pfenning
- Frank Pfenning