Tim Freeman, Frank Pfenning. Refinement Types for ML. In PLDI. pages 268-277, 1991.
@inproceedings{FreemanP91,
title = {Refinement Types for ML},
author = {Tim Freeman and Frank Pfenning},
year = {1991},
tags = {refinement},
researchr = {https://researchr.org/publication/FreemanP91},
cites = {0},
citedby = {0},
pages = {268-277},
booktitle = {PLDI},
}