Sciweavers

AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
14 years 3 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones