Naji's characterization of circle graphs. - Jim Geelen; Edward Lee 001 (J. Graph Theory, 2020)

Lift & project systems performing on the partial-vertex-cover polytope. - Konstantinos Georgiou; Andy (Jia) Jiang; Edward Lee 001; Astrid A. Olave; Ian Seong; Twesh Upadhyaya (Theor. Comput. Sci., 2020)

Safer exceptions for Scala. - Martin Odersky; Aleksander Boruch-Gruszecki; Jonathan Immanuel Brachthäuser; Edward Lee 001; Ondrej Lhoták (SCALA@SPLASH, 2021)

Tracking Captured Variables in Types. - Aleksander Boruch-Gruszecki; Jonathan Immanuel Brachthäuser; Edward Lee 001; Ondrej Lhoták; Martin Odersky (CoRR, 2021)

Scoped Capabilities for Polymorphic Effects. - Martin Odersky; Aleksander Boruch-Gruszecki; Edward Lee 001; Jonathan Immanuel Brachthäuser; Ondrej Lhoták (CoRR, 2022)

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. - Jonathan Immanuel Brachthäuser; Philipp Schuster; Edward Lee 001; Aleksander Boruch-Gruszecki (Proc. ACM Program. Lang., 2022)

Dependency-Free Capture Tracking. - Edward Lee 001; Kavin Satheeskumar; Ondrej Lhoták (FTfJP@ECOOP, 2023)

Qualifying System F-sub. - Edward Lee 001; Yaoyu Zhao; James You; Kavin Satheeskumar; Ondrej Lhoták; Jonathan Immanuel Brachthäuser (CoRR, 2023)

Simple Reference Immutability for System F. - Edward Lee 001; Ondrej Lhoták (Proc. ACM Program. Lang., 2023)

Capturing Types. - Aleksander Boruch-Gruszecki; Martin Odersky; Edward Lee 001; Ondrej Lhoták; Jonathan Immanuel Brachthäuser (ACM Trans. Program. Lang. Syst., 2023)

Qualifying System F<: Some Terms and Conditions May Apply. - Edward Lee 001; Yaoyu Zhao; Ondrej Lhoták; James You; Kavin Satheeskumar; Jonathan Immanuel Brachthäuser (Proc. ACM Program. Lang., 2024)

Lexical Effect Handlers, Directly. - Cong Ma; Zhaoyi Ge; Edward Lee 001; Yizhou Zhang 001 (Proc. ACM Program. Lang., 2024)