Principal type inference for GHCstyle multi-parameter type classes (2006)

by Martin Sulzmann , Tom Schrijvers , Peter J. Stuckey
Venue:In Proc. of APLAS’06
Citations:5 - 5 self