Martin Bodin
发表
Arthur Charguéraud,
Philippa Gardner,
Sergio Maffeis,
2014,
POPL.
Philippa Gardner,
Martin Bodin,
Conrad Watt,
2021,
FM.
Martin Bodin,
Jörg Endrullis,
Dimitri Hendriks,
2013,
ITP.
Thomas Jensen,
Philippa Gardner,
Martin Bodin,
2018,
Proc. ACM Program. Lang..
Martin Bodin,
Martin Bodin,
2016
.
Martin Bodin,
Alan Schmitt,
Thomas Jensen,
2015,
CPP.
Gareth Smith,
Martin Bodin,
A. Charguéraud,
2014,
POPL.