Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
doi 10.1145/3158100
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2018
Authors
Publisher
Association for Computing Machinery (ACM)