Sound and Decidable Type Inference for Functional Dependencies

In  European Sumposium on Programming (ESPO'04)

Publisher  Springer

Details

TypeInproceedings
Pages49-63
Volume2986
SeriesLecture Notes in Computer Science
> Publications > Sound and Decidable Type Inference for Functional Dependencies