Frank Pfenning


AuthID: R-006-F75

Confirmed Publications: 22



11
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 7
12
TITLE: Corecursion and Non-divergence in Session-Typed Processes
AUTHORS: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: TGC, VOLUME: 8902
INDEXED IN: Scopus DBLP CrossRef: 20
13
TITLE: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTHORS: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2014, SOURCE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXED IN: Scopus WOS DBLP CrossRef: 36
14
TITLE: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTHORS: Caires, L ; Pérez, JA ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 37
15
TITLE: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 62
16
TITLE: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
AUTHORS: Henry DeYoung; Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: CSL, VOLUME: 16
INDEXED IN: Scopus DBLP
17
TITLE: Functions as Session-Typed Processes
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXED IN: Scopus WOS DBLP CrossRef: 28
18
TITLE: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTHORS: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2012, SOURCE: 21st European Symposium on Programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7211
INDEXED IN: Scopus WOS DBLP CrossRef: 22
19
TITLE: Towards concurrent type theory  Full Text
AUTHORS: Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: TLDI
INDEXED IN: Scopus DBLP CrossRef: 17
20
TITLE: Dependent Session Types via Intuitionistic Linear Type Theory
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2011, SOURCE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
INDEXED IN: Scopus WOS DBLP CrossRef: 44
Page 2 of 3. Total results: 22.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service