Edward Lee - RankMe

16 papers A* 1Journal 12Unranked 3

Year	Rank	Type	Title / 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