1 Subverting the Type System and Reflections on Trusting Trust Ras Bodik, Thibaud Hottelier, James Ide UC Berkeley CS164: Introduction to Programming Languages.
Subverting the Type System and Reflections on Trusting Trust