Typed self-representation (2009)

by T Rendel, K Ostermann, C Hofer
Venue:In PLDI