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