Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Edward Lee
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICFP 2021 profile
POPL 2024 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Tue 29 Jun 2021
Name:
Edward Lee
Country:
Canada
Affiliation:
University of Waterloo
GitHub:
https://github.com/e45lee
Contributions
2024
SPLASH
Author of Qualifying System F-sub within the OOPSLA 2024-track
POPL
Author of Capturing Types (TOPLAS) within the POPL-track
2023
SPLASH
Author of Simple Reference Immutability for System F<: within the OOPSLA-track
FTfJP
Author of Dependency-free Capture Tracking within the FTfJP 2023-track
2022
SPLASH
Author of Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back within the OOPSLA-track
2021
Scala
Author of Safer Exceptions for Scala within the Scala-track
HOPE
Author of Higher-order Programming with Effects and Handlers — with First-Class Functions within the HOPE 2021-track
Share
x
Thu 18 Apr 08:11