conf.researchr.org / Lindsay Groves

Not registered as user yet

Name: Lindsay Groves

Affiliation: Victoria University of Wellington

Contributions

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