J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt. A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. In PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007. pages 80-90, 2007. [doi]
@inproceedings{FosterPS07,
title = {A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice},
author = {J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt},
year = {2007},
url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
tags = {C++, logic},
researchr = {https://researchr.org/publication/FosterPS07},
cites = {0},
citedby = {0},
pages = {80-90},
booktitle = {PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007},
}