hindley-milner

14 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to comprehend Algorithm W in Hindley–Milner type system?
user_75658470
•
1
1
136
hindley-milner
Characterizing the type of functions that can accept `()` as input (without monomorphizing)
user_26840070
•
8
1
167
system-f type-theory hindley-milner polymorphism haskell
Are function parameters not polymorphic in Algorithm W (or Haskell)?
user_905660
•
5
1
140
hindley-milner type-systems algorithm haskell
Reasoning about types in Haskell
user_50677240
•
2
1
113
function-composition type-inference hindley-milner haskell types
How can I infer types for recursive functions?
user_143287860
•
3
1
97
type-inference hindley-milner recursion haskell
How does Haskell perform Beta conversion to derive a type?
user_109988540
•
4
1
168
applicative lambda-calculus type-inference hindley-milner haskell
Generalized HM vs. Higher-Order Unification
user_55363150
•
4
1
235
unification higher-order-types hindley-milner functional-programming haskell
Can Hindley-Milner return more than one error?
user_67225960
•
2
1
94
type-theory typechecking type-inference hindley-milner haskell
Is there something infeasible about statically-typing actor models of interprocess communication?
user_10389840
•
3
1
327
actor-model akka erlang hindley-milner scala
Hindley-Milner algorithm in Java
user_611580
•
13
2
2985
type-inference hindley-milner algorithm java
Hot Questions