Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in functional-dependencies

Role of functional dependency in `Unfoldable` typeclass of Haskell Collection API

Overlapping instances to flatten tuples

algorithm for computing closure of a set of FDs

Overlapping instances error when trying to write fallback instance

Lossless Join Decomposition

Reflexivity axiom for inferring functional dependencies

Lossless decomposition vs Dependency Preservation

How to get around the Coverage Condition for Functional Dependencies without using -XUndecidableInstances

What does the symbol "⊇" mean?

What can type families do that multi param type classes and functional dependencies cannot

Haskell functional dependency a b -> c depending on c?

Haskell: nonobvious examples of functional dependencies

tdd - creating tests for 3rd party code

How Type inference work in presence of Functional Dependencies

more efficient type-level computations using type families?

Final-tagless encoding of mutually recursive types

Haskell: shuffling data without functional dependencies

F# application structure logging / repositories etc