Guarded recursive datatype constructors (2003)

by H Xi, C Chen, G Chen
Venue:In Proceedings of the 30th ACM SIGPLAN symposium on Principles of programming languages