Frank Pfenning

Affiliations: 
Carnegie Mellon University, Pittsburgh, PA 
Area:
Computer Science, Robotics
Google:
"Frank Pfenning"

Children

Sign in to add trainee
Chris Martens grad student (Chemistry Tree)
Carsten Schuermann grad student (Computer Science Tree)
Hongwei Xi grad student 1998 Carnegie Mellon (Computer Science Tree)
Carsten E. Schurmann grad student 2000 Carnegie Mellon
Jeff Polakow grad student 2001 Carnegie Mellon
Brigitte Pientka grad student 2003 Carnegie Mellon
Aleksandar Nanevski grad student 2004 Carnegie Mellon
Rowan Davies grad student 2005 Carnegie Mellon
Kaustuv Chaudhuri grad student 2006 Carnegie Mellon
Joshua Dunfield grad student 2007 Carnegie Mellon
Deepak Garg grad student 2009 Carnegie Mellon
William Lovas grad student 2010 Carnegie Mellon
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Pruiksma K, Pfenning F. (2019) A Message-Passing Interpretation of Adjoint Logic Arxiv: Programming Languages. 291: 60-79
Jia L, Gommerstadt H, Pfenning F. (2016) Monitors and blame assignment for higher-order session types Acm Sigplan Notices. 51: 582-594
Caires L, Pfenning F, Toninho B. (2016) Linear logic propositions as session types Mathematical Structures in Computer Science. 26: 367-423
Balzer S, Pfenning F. (2015) Objects as session-typed processes Agere 2015 - Proceedings of the 5th International Workshop On Programming Based On Actors, Agents,and Decentralized Control. 13-24
Pfenning F, Griffith D. (2015) Polarized substructural session types Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9034: 3-22
Cruz F, Rocha R, Goldstein SC, et al. (2014) A linear logic programming language for concurrent programming over graph structures Theory and Practice of Logic Programming. 14: 493-507
Pfenning F. (2014) Programming with Higher-Order Logic , by Dale Miller and Gopalan Nadathur , Cambridge University Press, 2012, Hardcover, ISBN-10:052187940X, xiv + 306 pp. Theory and Practice of Logic Programming. 14: 265-267
Pérez JA, Caires L, Pfenning F, et al. (2014) Linear logical relations and observational equivalences for session-based concurrency Information and Computation
Toninho B, Caires L, Pfenning F. (2013) Higher-order processes, functions, and sessions: A monadic integration Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7792: 350-369
Caires L, Pérez JA, Pfenning F, et al. (2013) Behavioral polymorphism and parametricity in session-based communication Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7792: 330-349
See more...