Isaac van Bakel
1,772
reputation
10
22
Student in maths and computer science, focusing on type systems and language design.