Edward Lee -

Registered user since Tue 29 Jun 2021

Name:Edward Lee

Country:Canada

Affiliation:University of Toronto at Scarborough

Personal website: https://plg.uwaterloo.ca/~e45lee

GitHub: https://github.com/e45lee

Contributions

2027

‹Programming›

Student Research Competition Co-Chair in Organizing Committee
Student Research Competition Co-Chair in Organizing Committee within the Student Research Competition-track

2026

ISSTA

Author of Scitix: Scalable Constraint-Based Type Inference for Code Snippets with Missing Types within the Research papers-track

VIMPL

Committee Member in Program Committee within the VIMPL 2026-track

SIGCSE TS

Committee Member in Program Committee Members: Reviewers

2025

SPLASH

Author of Qualified Types with Boolean Algebras within the OOPSLA-track

Scala

2024

SPLASH

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