Available at http://www.cs.bu.edu/~hwxi/DML/DML.html, 2001.[22] X I, H. Dependent Types for Program Termination Verification (2001)

by H Dependent ML
Venue:InProceedings of 16th IEEE Symposium on Logic in Computer Science