itarticle recursive typesrecursive types Recursive Types in a Partial Language Bridging Recursive Types and Programs 0