Guarded Recursive Datatype Constructors

Guarded Recursive Datatype Constructors (2003)

by Hongwei Xi , Chiyan Chen , Gang Chen

Citations:

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Guarded Recursive Datatype Constructors	user correction - Legacy Corrections
AUTHOR NAME	Hongwei Xi	SVM HeaderParse 0.2
AUTHOR AFFIL	Categories and Subject Descriptors	SVM HeaderParse 0.2
AUTHOR NAME	Chiyan Chen	SVM HeaderParse 0.2
AUTHOR AFFIL	Categories and Subject Descriptors	SVM HeaderParse 0.2
AUTHOR NAME	Gang Chen	SVM HeaderParse 0.2
AUTHOR AFFIL	Categories and Subject Descriptors	SVM HeaderParse 0.2
ABSTRACT	introduc e a notion of guarded rec ursive (g.r.) datatype c#w struc tors, generalizing the notion ofrec# rsive datatypes in func tional programming languages suc h as ML and Haskell. We address both theoret ic#t and prac# ic## issues resulted from this generalization. On one hand, we design a type system to formalize the notion of g.r. datatypec onstruc - tors and then prove the soundness of the type system. On the other hand, we present some signific ant applic ations (e.g., implementing objec ts, implementing stagedc omputation, etc# ) of g.r. datatype c# nstruc#S rs, arguing that g.r. datatypec onstruc torsc an have far-reac hingc onsequenc es in programming. The mainc ontribution of the paper lies in the rec#I0 ition and then the formalization of a programming notion that is of both theoretic# l interest and prac tic# l use.	user correction - Legacy Corrections
YEAR	2003	user correction - Legacy Corrections
CITATIONS	25 found	ParsCit 1.0