Guarded recursive datatype constructors (2003)

by H Xi, C Chen, G Chen
Venue:In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’03