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