Eduardo León

Personal information


Peru

How to make the most of System F-omega. Seriously. I'm glad that people can do wonderful things with dependent types, but I'd be even happier to see what people can do *without* dependent types.

History


5 years 17 weeks