0 Points Jurgen J Vinju Summary Programming Languages Software Engineering Theory & Formal Methods Work details Centrum Wiskunde & Informatica SWAT TU Eindhoven Websites GitHub PeerJ Contributions