Sound and Decidable Type Inference for Functional Dependencies

Gregory Duck, Simon Peyton Jones, Peter Stuckey, and Martin Sulzmann

Details

Publication typeInproceedings
Published inEuropean Sumposium on Programming (ESPO'04)
Pages49-63
Volume2986
SeriesLecture Notes in Computer Science
PublisherSpringer
> Publications > Sound and Decidable Type Inference for Functional Dependencies