Guarded recursive datatype constructors

2003/01/15 by Hongwei Xi, Chiyan Chen, Gang Chen · 4 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Advanced Software Engineering Methodologies #Computer science #Programming language

paper · doi:10.1145/604131.604150

openalex publication_date 2003/01/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29

Abstract

We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell.

Citations

• A formulation of the simple theory of types
• Dependent types in practical programming
• A modal analysis of staged computation

Cited by

• Applied Type System: An Approach to Practical Programming with Theorem-Proving
• Specialization of Generic Array Accesses After Inlining
• Bidirectional Typing
• Generalized algebraic data type [wikipedia]