Edward Lee

16 papers A* 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Qualified Types with Boolean Algebras.
Proc. ACM Program. Lang.
Edward Lee, Jonathan Lindegaard Starup, Ondrej Lhoták, Magnus Madsen
2024 J jnl
Lexical Effect Handlers, Directly.
Proc. ACM Program. Lang.
Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang
2024 J jnl
Qualifying System F
Proc. ACM Program. Lang.
Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser
2023 J jnl
Capturing Types.
ACM Trans. Program. Lang. Syst.
Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
2023 — conf
Dependency-Free Capture Tracking.
FTfJP@ECOOP
Edward Lee, Kavin Satheeskumar, Ondrej Lhoták
2023 J jnl
Qualifying System F-sub.
CoRR
Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
2023 J jnl
Simple Reference Immutability for System F-sub.
CoRR
Edward Lee, Ondrej Lhoták
2023 J jnl
Simple Reference Immutability for System F.
Proc. ACM Program. Lang.
Edward Lee, Ondrej Lhoták
2022 J jnl
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
2022 J jnl
Scoped Capabilities for Polymorphic Effects.
CoRR
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
2021 — conf
Safer exceptions for Scala.
SCALA@SPLASH
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
2021 J jnl
Tracking Captured Variables in Types.
CoRR
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
2020 J jnl
Lift & project systems performing on the partial-vertex-cover polytope.
Theor. Comput. Sci.
Konstantinos Georgiou, Andy (Jia) Jiang, Edward Lee, Astrid A. Olave, Ian Seong, Twesh Upadhyaya
2020 J jnl
Naji's characterization of circle graphs.
J. Graph Theory
Jim Geelen, Edward Lee
2019 A* conf
On Tradeoffs Between Document Signature Methods for a Legal Due Diligence Corpus.
SIGIR
Adam Roegiest, Edward Lee
2014 — conf
Lift & Project Systems Performing on the Partial Vertex Cover Polytope.
FSTTCS
Konstantinos Georgiou, Edward Lee