MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t

First Page		Document Content
Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing		MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Download Document from Source Website File Size: 216,00 KB Share Document on Facebook

	“DONot Fold, Spindle or Mutilate”: A Cultural History of the Punch Card Steven Lubar One hundred years have passed since Herman Hollerith invented the punch card to tabulate the 1890census. That’s also, almost exac DocID: 1xVGz - View Document
	Isomer Info Sheet Isomer is a lightweight solution for Singapore Government informational services that employs UX best practices. The goal of Isomer is three-fold: DocID: 1xVx1 - View Document
	Cut Fold First simple steps DocID: 1xVvw - View Document
	General Brochure_tri-fold_final DocID: 1xUrP - View Document
	MVPAGE 1 of 2 HERE FOLD DocID: 1vs0T - View Document