The Monad.Reader Issue 22 by Anton Dergunov [removed] and Matt Fenwick [removed] and Jay Vyas [removed] and Mike Izbicki [removed] August 21, 2013

First Page		Document Content
Date: 2013-08-21 01:57:49 Data types Type theory Functional programming Algebraic data type Generalized algebraic data type Boolean data type ALGOL 68 Type system Generic programming Software engineering Computing Computer programming		The Monad.Reader Issue 22 by Anton Dergunov [removed] and Matt Fenwick [removed] and Jay Vyas [removed] and Mike Izbicki [removed] August 21, 2013 Add to Reading List Source URL: themonadreader.files.wordpress.com Download Document from Source Website File Size: 544,32 KB Share Document on Facebook

	DSLs in Haskell Ryan Newton Back-end DocID: 1ru0C - View Document
	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes DocID: 1qy7b - View Document
	System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg DocID: 1pJ91 - View Document
	Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu DocID: 1pANf - View Document
	HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1 DocID: 1pqhm - View Document