Document Versions

Guarded Recursive Datatype Constructors –Hongwei Xi, Chiyan Chen, Gang Chen — 2003
Guarded Recursive Datatype Constructors –Hongwei Xi, Chiyan Chen, Gang Chen — 2003 — In Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages