Old Web
English
Sign In
Acemap
>
Paper
>
Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints
Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints
2019
Yuya Kono
Hideyuki Kawabata
Tetsuo Hironaka
Keywords:
Theoretical computer science
Haskell
Type variable
Computer science
Uniqueness
Correction
Source
Cite
Save
Machine Reading By IdeaReader
6
References
0
Citations
NaN
KQI
[]