Guarded recursive datatype constructors (0)

by H Xi, C Chen, G Chen
Venue:In POPL