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

VMIL 2019Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track
DLS 2019Author of First-class Dynamic Types within the DLS 2019-track
SPLASH 2019Committee Member in Program Commitee within the SPLASH-E-track
ECOOP 2019Author of Transient Typechecks are (Almost) Free within the Research Papers-track
GRACE 2018Author of Multi-Device Grace within the GRACE 2018-track
BLOCKS+ 2018Author of Multi-Device Grace within the BLOCKS+-track
SLE 2018Committee Member in Program Committee within the SLE 2018-track
SPLASH 2018Author of Multi-Device Grace within the Posters-track
MoreVMs 2017Author of Toward Virtual Machine Adaption Rather than Reimplementation within the MoreVMs 2017-track
SLE 2017Committee Member in Program Committee within the SLE-track
STOP 2016Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
GRACE 2016Author of Traitorous Traits within the GRACE-track
SPLASH 2017Committee Member in Program Committee within the SPLASH-E-track
NOOL 2015Author of Gradual typing is morally incorrect; we're all monsters now within the NOOL-track
Onward! 2016Author of The Left Hand of Equals within the Onward! Essays-track
SLE 2016Committee Member in Program Committee within the SLE-track
ECOOP 2016Committee 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 2015Author of From APIs to Languages: Generalising Method Names within the DLS-track
ECOOP 2015Author 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 2012Author of Patterns as objects in grace within the DLS 2012-track
SPLASH 2012Author of Grace: the absence of (inessential) difficulty within the Onward! Papers-track