Theorems for free! - Computing Science
... extent by Sheeran [She89]. So there is reason to believe
that further research will further extend the applicability of this method.
Many functional languages, including Standard ML
[Mil84, Mil87], Miranda1 [Tur85], and Haskell [HW88],
are based on the Hindley/Milner type system [Hin69,
Mil78, DM82] ...