Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!

Karachalias, G; Schrijvers, T

Karachalias, G (reprint author), Katholieke Univ Leuven, Leuven, Belgium.

ACM SIGPLAN NOTICES, 2017; 52 (10): 133

Abstract

Functional dependencies are a popular extension to Haskell's type-class system because they provide fine-grained control over type inference, resolve ......

Full Text Link