Daniel R. Licata Personal Information: E-mail:

First Page		Document Content
Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda		Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Download Document from Source Website File Size: 110,18 KB Share Document on Facebook

	Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009 DocID: 1xVow - View Document
	PASTE 2007 Call for Contributions 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering June 13-14, 2007 (co-located with PLDI 2007, part of FCRChttp://paste07.cs.washington.edu/ DocID: 1uzcq - View Document
	Working on these tasks will be one of the jobs of the SIGPLAN Education Board. In addition, the Ed Board will actively and continously seek input and contributions from the community to improve and evolve this collection DocID: 1uwxD - View Document
	Author’s Guide to the ACM SIGPLAN Class (sigplanconf.cls) Association for Computing Machinery SIGPLAN DocID: 1urYg - View Document
	LCTES 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (In conjunction with PLDIDublin, Ireland, June 19~http://www.cse.psu.edu/lctes09/ DocID: 1udSZ - View Document