David J. Pearce. Rewriting for sound and complete union, intersection and negation types. In Matthew Flatt, Sebastian Erdweg, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017. pages 117-130, ACM, 2017. [doi]
@inproceedings{Pearce17-0,
title = {Rewriting for sound and complete union, intersection and negation types},
author = {David J. Pearce},
year = {2017},
doi = {10.1145/3136040.3136042},
url = {http://doi.acm.org/10.1145/3136040.3136042},
researchr = {https://researchr.org/publication/Pearce17-0},
cites = {0},
citedby = {0},
pages = {117-130},
booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017},
editor = {Matthew Flatt and Sebastian Erdweg},
publisher = {ACM},
isbn = {978-1-4503-5524-7},
}