Research papers/Type systems - Revision history

Henk-Jan van Tuyl: /* Haskell semantics */ Removed Hparser, as the link is dead for a long time now, and the package cannot be found via Google

Henk-Jan van Tuyl — Tue, 30 Oct 2012 22:37:00 GMT

Haskell semantics: Removed Hparser, as the link is dead for a long time now, and the package cannot be found via Google

Tomaxer — Tue, 14 Feb 2012 23:13:08 GMT

Implicit parameters: Updated dead links

Tomaxer — Tue, 14 Feb 2012 22:56:05 GMT

Restricted Datatypes: Updated dead link

Eivind Eklund — Wed, 21 Dec 2011 20:02:03 GMT

Replace a bad link to Simply Easy! An Implementation of a Dependently Typed Lamdba Calculus with a valid link.

Janis — Sun, 12 Jun 2011 20:49:37 GMT

replaced conference by journal paper

Ha$kell — Sun, 03 Apr 2011 22:21:02 GMT

Modules

Ha$kell — Sun, 03 Apr 2011 22:20:03 GMT

Modules

DonStewart — Thu, 30 Sep 2010 13:39:12 GMT

Heisenbug — Thu, 25 Feb 2010 16:44:21 GMT

add pointwise paper

Janis — Mon, 21 Dec 2009 13:54:33 GMT

added a paper