Fundamenta Informaticae–19 1 IOS Press

First Page		Document Content
Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation		Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Download Document from Source Website File Size: 123,78 KB Share Document on Facebook

	Project Report: Dependently typed programming with lambda encodings in Cedille Ananda Guneratne, Chad Reynolds, and Aaron Stump Computer Science, The University of Iowa, Iowa City, Iowa, USA , c DocID: 1sYZP - View Document
	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la DocID: 1ra6V - View Document
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg DocID: 1r4x2 - View Document
	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany DocID: 1qLUy - View Document
	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes DocID: 1qy7b - View Document