Principal Type Inference for GHC-Style Multi-parameter Type Classes.

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

Browse the full APLAS paper archive.