| search ~fp | |
| Home | |
| Contact Information | |
| Curriculum Vitæ | |
| Research Interests | |
| Publications | |
| DBLP | |
| Google Scholar Search | |
| Google Scholar Profile | |
| Students & Co-authors | |
| Projects | |
| Session Types | |
| C0 | |
| Courses | |
| Types & Prog. Langs. 15-814 [Fa25] | |
| HOT Compilation 15-417/817 [Sp25] | |
| Software Foundations 15-316 [Fa24] | |
| Substructural Logics 15-836 [Fa23] | |
| Constructive Logic 15-317 [Sp23] | |
| Par. & Seq. Algorithms 15-210 [Fa22] | |
| Bug Catching 15-414 [Sp22] | |
| Types & Prog. Langs. 15-814 [Fa21] | |
| Bug Catching 15-414 [Sp21] | |
| Types & Prog. Langs. 15-814 [Fa20] | |
| Functional Prog. 15-150 [Sp20] | |
| Types & Prog. Langs. 15-814 [Fa19] | |
| Types & Prog. Langs. 15-814 [Fa18] | |
| Constructive Logic 15-317 [Fa17] | |
| Substructural Logics 15-816 [Fa16] | |
| Princs. Imp. Comp. 15-122 [Fa15] | |
| Compiler Design 15-411 [Fa14] | |
| Summer School | |
| Oregon'22 | |
| Oregon'19 | |
| Oregon'17 | |
| Oregon'15 | |
| Oregon'13 | |
| Conferences | |
| TABLEAUX'23 PC | |
| CSF'24 PC | |
| ESOP'24 SC | |
| Organizations | |
| ACM SIGLOG | |
| ACM SIGPLAN | |
| Journals | |
| JFP | |
| Frank Pfenning |
Frank Pfenning
Contact Information
|
|
[ Home
| Contact
| Research
| Publications
| CV
| Students
]
[ Projects
| Courses
| Conferences
| Organizations
| Journals
]