Contents Table of contents Room Page

First Page		Document Content
Date: 2014-08-18 16:17:18 Functional languages International Conference on Functional Programming ICFP Programming Contest SIGPLAN Continuation Haskell Dependent type Generic programming ML Software engineering Computing Computer programming		Contents Table of contents Room Page Add to Reading List Source URL: icfpconference.org Download Document from Source Website File Size: 190,11 KB Share Document on Facebook

	Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors DocID: 1xVKz - View Document
	Type Soundness for Dependent Object Types (DOT) * Complete We sis DocID: 1xUdC - View Document
	Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin DocID: 1xTuC - View Document
	Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013 First-order theories vs dependent type theories (I) DocID: 1v5Yu - View Document
	Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester, DocID: 1uXqs - View Document