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
Ras Bodik Shaon Barman Thibaud Hottelier