
Registered user since Mon 25 Jun 2018
Name:Martin Bodin
Country:United Kingdom
Affiliation:Imperial College London
Personal website:https://www.doc.ic.ac.uk/~mbodin/
Contributions
POPL 2019 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Skeletal Semantics and their Interpretations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile