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

	Annex 2: Logical framework Analysis for Core Funding for IFRTD – Please note that references are made to specific sections in Strategy 2007-2011to ensure logframe is aligned with strategy, activities and core funding f DocID: 1vjiz - View Document
	Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear DocID: 1tLz4 - View Document
	A Project Cycle Management and Logical Framework Toolkit – A practical guide for Equal Development DocID: 1t20P - View Document
	UniLFS: A Unifying Logical Framework for Service Modeling and Contracting RuleML 2103: 7th International Web Rule Symposium July 11-13, 2013 Dumitru Roman1 and Michael Kifer2 1SINTEF DocID: 1sRza - View Document