Recursive Types and Type Constraints in Second-Order Lambda Calculus


by Nax P. Mendler

Proceedings of Second IEEE Symposium on Logic in Computer Science, pp. 30-36, 1987.


Sorry, there are no downloadable files available for this document at this time.