Extended Static Checking: Difference between revisions

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) No edit summary
Line 2:		Line 2:

	See http://www.cl.cam.ac.uk/~nx200/ .		See http://www.cl.cam.ac.uk/~nx200/ .

			[[Category:Research]]