
Registered user since Tue 18 Aug 2020
Name:Simon Thompson
Personal website:http://www.cs.kent.ac.uk/people/staff/sjt/
Contributions
PLDI 2019 | Characterising Renaming within OCaml’s Module System: Theory and Implementation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2019-profile
View general profile
View general profile