Difference between revisions of "Extended Static Checking"
Jump to navigation
Jump to search
(link to author's page) |
|||
Line 2: | Line 2: | ||
See http://www.cl.cam.ac.uk/~nx200/ . |
See http://www.cl.cam.ac.uk/~nx200/ . |
||
+ | |||
+ | [[Category:Research]] |
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.