Sound and Decidable Type Inference for Functional Dependencies.

Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann

Browse the full ESOP paper archive.