91 search results - page 19 / 19 » Extended static checking for haskell |
126
click to vote
OOPSLA
2004
Springer
15 years 8 months 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...