Conference Proceedings
Sound and decidable type inference for functional dependencies
GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann, D Schmidt
Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004 | SPRINGER-VERLAG BERLIN | Published : 2004