'hindley-milner' Questions - SpiceQA

Questions Tags Users Badges

hindley-milner

14 Questions

Newest Active Unanswered Frequent

What makes Haskell's type system more "powerful" than other languages' type systems?

user_4573900

• asked Sep 24, 2010

38

6

12141

type-inference hindley-milner type-systems haskell types

Damas-Hindley-Milner type inference algorithm implementation

user_3414990

• asked Sep 4, 2010

21

1

4518

type-inference hindley-milner algorithm

Inferred type appears to detect an infinite loop, but what's really happening?

user_1231090

• asked Dec 2, 2009

25

2

1875

type-inference hindley-milner ml type-systems haskell

What is Hindley-Milner?

yehnan_460900

• asked Dec 30, 2008

140

3

25860

hindley-milner inference functional-programming types

Prev
1
2 (current)

Hot Questions