Niki Vazou, Michael Greenberg 0002. How to safely use extensionality in Liquid Haskell. In Nadia Polikarpova, editor, Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. pages 13-26, ACM, 2022. [doi]
@inproceedings{Vazou022,
title = {How to safely use extensionality in Liquid Haskell},
author = {Niki Vazou and Michael Greenberg 0002},
year = {2022},
doi = {10.1145/3546189.3549919},
url = {https://doi.org/10.1145/3546189.3549919},
researchr = {https://researchr.org/publication/Vazou022},
cites = {0},
citedby = {0},
pages = {13-26},
booktitle = {Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022},
editor = {Nadia Polikarpova},
publisher = {ACM},
isbn = {978-1-4503-9438-3},
}