Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Frank
Last name:	Pfenning
DBLP:	p/FPfenning
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 141  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho. Behavioral Polymorphism and Parametricity in Session-Based Communication.	Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013	(0)	2013
	Conference paper Bernardo Toninho, Luís Caires, Frank Pfenning. Higher-Order Processes, Functions, and Sessions: A Monadic Integration.	Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013	(0)	2013
	Conference paper Bernardo Toninho, Luís Caires, Frank Pfenning. Functions as Session-Typed Processes.	Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedi 2012	(0)	2012
	Conference paper Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho. Linear Logical Relations for Session-Based Concurrency.	Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012	(0)	2012
	Conference paper Luís Caires, Frank Pfenning, Bernardo Toninho. Towards concurrent type theory.	Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012 2012	(0)	2012
	Conference paper Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho. Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.	Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France 2012	(0)	2012
	Conference paper Deepak Garg, Frank Pfenning. Stateful authorization logic - Proof theory and a case study.	Journal of Computer Security 2012, Volume 20	(0)	2012
	Conference paper Bernardo Toninho, Luís Caires, Frank Pfenning. Dependent session types via intuitionistic linear type theory.	Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011	(0)	2011
	Conference paper Frank Pfenning, Luís Caires, Bernardo Toninho. Proof-Carrying Code in a Session-Typed Process Calculus.	Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings 2011	(0)	2011
	Conference paper Jamie Morgenstern, Deepak Garg, Frank Pfenning. A Proof-Carrying File System with Revocable and Use-Once Certificates.	Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers 2012	(0)	2011

Show item 1 to 10 of 141  

Your query returned 141 matches in the database.