conf.researchr.org / Lindsay Groves

Not registered as user yet

Name: Lindsay Groves

Affiliation: Victoria University of Wellington

Contributions

APLAS 2020 Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track
POPL 2020 Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
APLAS 2019 Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
OCAP 2017 Author of Capabilities and Effects within the OCAP 2017-track
ECOOP 2015 Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track
SLE 2013 Author of Whiley: a Platform for Research in Software Verification within the Research Papers-track