... | ... | @@ -2,12 +2,14 @@ This is the root page for examples and issues about functional dependencies in G |
|
|
|
|
|
## Main sub-pages
|
|
|
|
|
|
These pages have most of the content!
|
|
|
**IMPORTANT** This list of sub-pages have most of the content!
|
|
|
|
|
|
* [Background and terminology](Functional-dependencies-in-GHC/background-and-terminology)
|
|
|
* [Key examples](Functional-dependencies-in-GHC/key-examples)
|
|
|
* [Design choices](Functional-dependencies-in-GHC/design-choices)
|
|
|
|
|
|
The rest this page gathers other useful links.
|
|
|
|
|
|
## Key papers
|
|
|
|
|
|
* [Type classes with functional dependencies](https://web.cecs.pdx.edu/~mpj/pubs/fundeps.html), Mark Jones, ESOP 2000. The original fundep paper.
|
... | ... | |