Cited By
View all- Vasconcelos PMarques RVazou NMorris J(2024)Haskelite: A Tracing Interpreter Based on a Pattern-Matching CalculusProceedings of the 17th ACM SIGPLAN International Haskell Symposium10.1145/3677999.3678274(1-13)Online publication date: 29-Aug-2024
- Zhao EMaroof RDukkipati ABlinn APan ZOmar C(2024)Total Type Error Localization and Recovery with HolesProceedings of the ACM on Programming Languages10.1145/36329108:POPL(2041-2068)Online publication date: 5-Jan-2024