Principal type inference for GHC-style multi-parameter type classes (2006)

by M Sulzmann, T Schrijvers, P J Stuckey
Venue:In Proc. of APLAS’06, volume 4279 of LNCS