Guarded Recursive Datatype Constructors, 2002. Available at http://www.cs.bu.edu/~hwxi/GRecTypecon (0)

by Hongwei Xi, Chiyan Chen, Gang Chen