Isaac van Bakel

1,712
reputation
9
21

Student in maths and computer science, focusing on type systems and language design.