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)

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)