Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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