Refinement types for ml (1991)

by Tim Freeman, Frank Pfenning
Venue:In PLDI ’91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation