Difference between revisions of "Extended Static Checking"
Jump to navigation
Jump to search
(link to author's page) |
(No difference)
|
Revision as of 11:11, 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.