• Sign in
  • Sign up
conf.researchr.org / Lindsay Groves
  • APLAS 2019 profile
  • APLAS 2020 profile
  • ECOOP 2015 profile
  • POPL 2020 profile
  • SPLASH 2013 profile
  • SPLASH 2017 profile

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

Share
xFri 5 Mar 01:09
using conf.researchr.org (v1.43.1)
Support page
Sign Up