Hongwei Xi, Chiyan Chen, Gang Chen
Guarded recursive datatype constructors
POPL, 2003.
@inproceedings{POPL-2003-XiCC,
author = "Hongwei Xi and Chiyan Chen and Gang Chen",
booktitle = "{Conference Record of the 30th Symposium on Principles of Programming Languages}",
doi = "10.1145/640128.604150",
editor = "Alex Aiken and Greg Morrisett",
isbn = "1-58113-628-5",
pages = "224--235",
publisher = "{ACM}",
title = "{Guarded recursive datatype constructors}",
year = 2003,
}