Conference Proceedings

Principal type inference for GHC-style multi-parameter type classes

Martin Sulzmann, Tom Schrijvers, Peter J Stuckey, N Kobayashi

Programming Languages and Systems | SPRINGER-VERLAG BERLIN | Published : 2006