66 search results - page 14 / 14 » Expressive Commerce and Its Application to Sourcing |
JFP
2007
13 years 6 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. ...