Dependency-style generic Haskell.

Andres Lh, Dave Clarke, Johan Jeuring

Browse the full ICFP paper archive.