Arthur I. Baars, S. Doaitse Swierstra
Type-safe, self inspecting code
Haskell, 2004.
@inproceedings{Haskell-2004-BaarsS, author = "Arthur I. Baars and S. Doaitse Swierstra", booktitle = "{Proceedings of the Eighth Haskell Workshop}", doi = "10.1145/1017472.1017485", pages = "69--79", publisher = "{ACM}", title = "{Type-safe, self inspecting code}", year = 2004, }