Impredicative types - Revision history

Benmachine at 16:24, 21 January 2013

Benmachine — Mon, 21 Jan 2013 16:24:43 GMT

Benmachine: Rewrite most of the article

Benmachine — Fri, 04 Jan 2013 16:43:18 GMT

Rewrite most of the article

Benmachine: /* See also */

Benmachine — Sat, 29 Dec 2012 23:19:05 GMT

Benmachine: /* See also */

Benmachine — Thu, 27 Dec 2012 02:35:06 GMT

Benmachine at 01:15, 6 September 2012

Benmachine — Thu, 06 Sep 2012 01:15:11 GMT

Benmachine at 01:14, 6 September 2012

Benmachine — Thu, 06 Sep 2012 01:14:13 GMT

Benmachine at 01:13, 6 September 2012

Benmachine — Thu, 06 Sep 2012 01:13:48 GMT

Benmachine: /* See also */

Benmachine — Thu, 06 Sep 2012 01:13:36 GMT

Benmachine: New page: Impredicative types are to be contrasted with rank-N types. A standard Haskell type is universally quantified by default, and quantifiers can only appear at the top level of a type or...

Benmachine — Thu, 06 Sep 2012 01:13:24 GMT

New page: Impredicative types are to be contrasted with rank-N types. A standard Haskell type is universally quantified by default, and quantifiers can only appear at the top level of a type or...