Guarded recursive datatype constructors 论文
2003引用 329
Logic, programming, and type systemsFormal Methods in VerificationAdvanced Software Engineering Methodologies
摘要
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.