Graded monads and type-level programming for dependence analysis.

Finnbar Keating, Michael B. Gale

Browse the full HASKELL paper archive.