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:33 - 14 self