151
click to vote
ESOP
2007
Springer
16 years 18 hour ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...