Sound and Decidable Type Inference for Functional Dependencies (2004)

Cached

Download Links

by Gregory J. Duck , Simon Peyton-Jones , Peter J. Stuckey , Martin Sulzmann
Citations:32 - 14 self

Document Versions

Sound and Decidable Type Inference for Functional Dependencies –Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann — 2004
Sound and decidable type inference for functional dependencies –Gregory J. Duck, Simon Peyton-jones, Peter J. Stuckey — 2004 — In Proc. of ESOP’04, volume 2986 of LNCS