Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lindsay Groves
conf.researchr.org general profile
APLAS 2019 profile
APLAS 2020 profile
ECOOP 2015 profile
POPL 2020 profile
SPLASH 2013 profile
SPLASH 2017 profile
SPLASH 2022 profile
Not registered as user yet
Name:
Lindsay Groves
Affiliation:
Victoria University of Wellington
Contributions
2022
FTSCS
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
2020
APLAS
Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track
POPL
Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
2019
APLAS
Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
2017
OCAP
Author of Capabilities and Effects within the OCAP 2017-track
2015
ECOOP
Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track
2013
SLE
Author of Whiley: a Platform for Research in Software Verification within the Research Papers-track
Share
x
Thu 21 Nov 15:31