11 search results - page 3 / 3 » jfp 2007 |
151
Voted
JFP
2007
15 years 3 months ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...