diff --git a/index.html b/index.html index 2642981..1249769 100644 --- a/index.html +++ b/index.html @@ -313,7 +313,7 @@

Hazel

News and Publications

Jan 2024
-
POPL 2024 conditionally accepted Total Type Error Localization and Recovery with Holes +
POPL 2024 accepted Total Type Error Localization and Recovery with Holes describing a principled approach to localizing errors in ill-typed programs.
Oct 2023
OOPSLA 2023 published