Michael Homer -

Registered user since Thu 5 Mar 2015

Name: Michael Homer

Affiliation: Victoria University of Wellington

Personal website: http://ecs.vuw.ac.nz/~mwh

Contributions

SPLASH 2019	Committee Member in Program Commitee within the SPLASH-E-track
ECOOP 2019	Author of Transient Typechecks are (Almost) Free within the Research Papers-track
GRACE 2018	Author of Multi-Device Grace within the GRACE 2018-track
BLOCKS+ 2018	Author of Multi-Device Grace within the BLOCKS+-track
SLE 2018	Committee Member in Program Committee within the SLE 2018-track
SPLASH 2018	Author of Multi-Device Grace within the Posters-track
MoreVMs 2017	Author of Toward Virtual Machine Adaption Rather than Reimplementation within the MoreVMs 2017-track
SLE 2017	Committee Member in Program Committee within the SLE-track
STOP 2016	Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
GRACE 2016	Author of Traitorous Traits within the GRACE-track
SPLASH 2017	Committee Member in Program Committee within the SPLASH-E-track
NOOL 2015	Author of Gradual typing is morally incorrect; we're all monsters now within the NOOL-track
Onward! 2016	Author of The Left Hand of Equals within the Onward! Essays-track
SLE 2016	Committee Member in Program Committee within the SLE-track
ECOOP 2016	Committee Member in Artifact Evaluation Committee within the Artifacts-track Author of Object Inheritance without Classes within the Research Track-track Author of Object Inheritance Without Classes within the Artifacts-track
DLS 2015	Author of From APIs to Languages: Generalising Method Names within the DLS-track
ECOOP 2015	Author of Brand Objects for Nominal Typing within the Artifacts-track Author of Brand Objects for Nominal Typing within the Research Track-track
PLOP 2012
DLS 2012	Author of Patterns as objects in grace within the DLS 2012-track
SPLASH 2012	Author of Grace: the absence of (inessential) difficulty within the Onward! Papers-track