David Binder, Ingo Skupin, David Läwen, Klaus Ostermann. Structural refinement types. In TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022. pages 15-27, ACM, 2022. [doi]
@inproceedings{BinderSLO22,
title = {Structural refinement types},
author = {David Binder and Ingo Skupin and David Läwen and Klaus Ostermann},
year = {2022},
doi = {10.1145/3546196.3550163},
url = {https://doi.org/10.1145/3546196.3550163},
researchr = {https://researchr.org/publication/BinderSLO22},
cites = {0},
citedby = {0},
pages = {15-27},
booktitle = {TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022},
publisher = {ACM},
isbn = {978-1-4503-9439-0},
}