Qualified Types

Qualified Types

4.11 - 1251 ratings - Source

Functional programming; Haskell, Gofer; type theory.Clearly, it is preferable to make this definition as weak as possible, permitting a larger class of models, while at the same ... with call-by-value semantics and hence our results are restricted to languages with lazy or call-by-name semantics . We discuss this point more fully in Section 5.9. We have already seen how the type inference algorithm can be used to describe the relationship between the set of allanbsp;...

Title:Qualified Types
Author:Mark P. Jones
Publisher:Cambridge University Press - 2003-10-16


You Must CONTINUE and create a free account to access unlimited downloads & streaming