Extended Static Checking

(Difference between revisions)

Current revision

Haskell ESC is a project to add static checks to a program, for which the current Haskell type system is too weak.

Revision as of 11:11, 7 December 2009 (edit) Lemming (Talk \| contribs) (link to author's page) ← Previous diff		Current revision (11:25, 7 December 2009) (edit) (undo) Lemming (Talk \| contribs)
Line 2:		Line 2:

	See http://www.cl.cam.ac.uk/~nx200/ .		See http://www.cl.cam.ac.uk/~nx200/ .
		+
		+	[[Category:Research]]