Free theorems and runtime type representations (2007)

by Dimitrios Vytiniotis , Stephanie Weirich
Venue:Electron. Notes Theor. Comput. Sci
Citations:9 - 6 self