The Key monad: type-safe unconstrained dynamic typing.

Atze van der Ploeg, Koen Claessen, Pablo Buiras

Browse the full HASKELL paper archive.