Difference between revisions of "Extended Static Checking"

Latest revision as of 11:25, 7 December 2009

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 (view source) Lemming (talk \| contribs) (link to author's page)		Latest revision as of 11:25, 7 December 2009 (view source) 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]]