Sound and Decidable Type Inference for Functional Dependencies
Gregory Duck, Simon Peyton Jones, Peter Stuckey, and Martin Sulzmann
January 2004
In European Sumposium on Programming (ESPO'04)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 49-63 |
| Volume | 2986 |
| Series | Lecture Notes in Computer Science |