Cited By
View all- Huang YYallop J(2023)Defunctionalization with Dependent TypesProceedings of the ACM on Programming Languages10.1145/35912417:PLDI(516-538)Online publication date: 6-Jun-2023
- Vazou NGreenberg MPolikarpova N(2022)How to safely use extensionality in Liquid HaskellProceedings of the 15th ACM SIGPLAN International Haskell Symposium10.1145/3546189.3549919(13-26)Online publication date: 6-Sep-2022
- Rouvoet AKrebbers RVisser E(2021)Intrinsically typed compilation with nameless labelsProceedings of the ACM on Programming Languages10.1145/34343035:POPL(1-28)Online publication date: 4-Jan-2021
- Show More Cited By