I think he was the one to ask Phil Wadler to help out on the Featherweight Go formalization work.