presenting at POPL 2024!

2023-12Eric Zhao
news calendar/2023/12

I will be presenting our paper on bidirectional type error localization and recovery at POPL 2024 in London this upcoming January! This paper was honored with a Distinguished Paper Award!1

  1. Eric Zhao et al., ‘Total Type Error Localization and Recovery with Holes’, Proceedings of the ACM on Programming Languages 8, no. POPL (January 2024): 68:2041–68, https://doi.org/10.1145/3632910. q.v.