Guarded recursive datatype constructors.

Hongwei Xi, Chiyan Chen, Gang Chen

Browse the full POPL paper archive.