Conference Towards a type theory of contexts 2005 • MERLIN'05 - Proceedings of the Third ACM SIGPLAN Workshop in Mechanized Reasoning about Languages with varIable biNding • 1 Pfenning F
Conference Type-directed concurrency 2005 • Lecture Notes in Computer Science • 3653:6-20 Garg D, Pfenning F
Journal Article A concurrent logical framework: The propositional fragment 2004 • Annals of the New York Academy of Sciences • 3085:355-377 Watkins K, Cervesato I, Pfenning F, Walker D
Conference A symmetric modal Lambda calculus for distributed computing 2004 • Proceedings - Symposium on Logic in Computer Science • 286-295 Murphy T, Crary K, Harper R, Pfenning F
Journal Article Benjamin C. Pierce. Types and programming languages. The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp. 2004 • Bulletin of Symbolic Logic • 10(2):213-214 Pfenning F
Journal Article ETPS: A system to help students write formal proofs 2004 • Journal of Automated Reasoning • 32(1):75-92 Andrews PB, Brown CE, Pfenning F, Bishop M, Issar S, Xi HW
Journal Article Substructural operational semantics and linear destination-passing style 2004 • Lecture Notes in Computer Science • 3302:196-196 Pfenning F
Conference Tridirectional typechecking 2004 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 31:281-292 Dunfield J, Pfenning F
Conference Tridirectional typechecking 2004 • ACM Sigplan Notices • 39(1):281-292 Dunfield J, Pfenning F
Journal Article Verifying uniqueness in a logical framework 2004 • Lecture Notes in Computer Science • 3223:18-33 Anderson P, Pfenning F
Journal Article A Concurrent Logical Framework I: Judgments and Properties 2003 Watkins K, Cervesato I, Pfenning F, Walker D
Journal Article A coverage checking algorithm for LF 2003 • Lecture Notes in Computer Science • 2758:120-135 Schürmann C, Pfenning F
Journal Article A Current Logical Framework: The Propositional Fragment 2003 Watkins K, Cervesato I, Pfenning F, Walker D
Conference A learning algorithm for localizing people based on wireless signal strength that uses labeled and unlabeled data 2003 • IJCAI International Joint Conference on Artificial Intelligence • 1427-1428 Berna M, Sellner B, Lisien B, Thrun S, Gordon G, Pfenning F
Journal Article A linear spine calculus 2003 • Journal of Logic and Computation • 13(5):639-688 Cervesato I, Pfenning F
Conference A modal foundation for meta-variables 2003 • Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, MERLIN 2003 Nanevski A, Pientka B, Pfenning F
Conference A type theory for memory allocation and data layout 2003 • ACM Sigplan Notices • 38(1):172-184 Petersen L, Harper R, Crary K, Pfenning F
Journal Article A type theory for memory allocation and data layout 2003 • ACM Sigplan Notices • 38(1):172-184 Petersen L, Harper R, Crary K, Pfenning F
Journal Article Automated techniques for provably safe mobile code 2003 • Theoretical Computer Science • 290(2):1175-1199 Colby C, Crary K, Harper R, Lee P, Pfenning F
Journal Article Higher-Order Pattern Complement and the Strict λ-Calculus 2003 • ACM Transactions on Computational Logic • 4(4):493-529 Momigliano A, Pfenning F
Conference Optimizing higher-order pattern unification 2003 • Lecture Notes in Computer Science • 2741:473-487 Pientka B, Pfenning F
Journal Article Type assignment for intersections and unions in call-by-value languages 2003 • Lecture Notes in Computer Science • LNCS 2620:250-266 Dunfield J, Pfenning F
Journal Article A linear logical framework 2002 • Information and Computation • 179(1):19-75 Cervesato I, Pfenning F
Journal Article Editorial 2002 • ACM Transactions on Computational Logic • 3(3):335 Abadi M, Libkin L, Pfenning F
