Sound and decidable type inference for functional dependencies (0)

by G J Duck, S Peyton Jones, P J Stuckey, M Sulzmann
Venue:In Proc