91 search results - page 19 / 19 » Extended static checking for haskell |
OOPSLA
2004
Springer
14 years 24 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...