Type-safe, self inspecting code.

Arthur I. Baars, S. Doaitse Swierstra

Browse the full HASKELL paper archive.