6 ms·I think he was the one to ask Phil Wadler to help out on the Featherweight Go formalization work.by bjz_ 6y agoI think he was the one to ask Phil Wadler to help out on the Featherweight Go formalization work.