Joshua Dunfield
Extensible Datasort Refinements
ESOP, 2017.
@inproceedings{ESOP-2017-Dunfield, author = "Joshua Dunfield", booktitle = "{Proceedings of the 24th European Symposium on Programming}", doi = "10.1007/978-3-662-54434-1_18", isbn = "['978-3-662-54433-4', '978-3-662-54434-1']", pages = "476--503", publisher = "{Springer}", title = "{Extensible Datasort Refinements}", year = 2017, }