Free theorems and runtime type representations (0)

by Dimitrios Vytiniotis, Stephanie Weirich
Venue:Electron. Notes Theor. Comput. Sci