Edward Lee

According to our database, Edward Lee authored at least 12 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Lexical Effect Handlers, Directly.

Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang

Proc. ACM Program. Lang., 2024

Qualifying System F_<: Some Terms and Conditions May Apply.

Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., 2024

2023

Capturing Types.

Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

ACM Trans. Program. Lang. Syst., December, 2023

Simple Reference Immutability for System F.

Edward Lee, Ondrej Lhoták

Proc. ACM Program. Lang., October, 2023

Qualifying System F-sub.

Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

CoRR, 2023

Dependency-Free Capture Tracking.

Edward Lee, Kavin Satheeskumar, Ondrej Lhoták

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki

Proc. ACM Program. Lang., 2022

Scoped Capabilities for Polymorphic Effects.

Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták

CoRR, 2022

2021

Tracking Captured Variables in Types.

Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky

CoRR, 2021

Safer exceptions for Scala.

Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

2020

Lift & project systems performing on the partial-vertex-cover polytope.

Konstantinos Georgiou, Andy (Jia) Jiang, Edward Lee, Astrid A. Olave, Ian Seong, Twesh Upadhyaya

Theor. Comput. Sci., 2020

Naji's characterization of circle graphs.

Jim Geelen, Edward Lee

J. Graph Theory, 2020