 CDuce
started 3/3/2003; 3:51:05 PM - last post 3/3/2003; 3:51:05 PM
|
|
Isaac Gouy - CDuce 
3/3/2003; 3:51:05 PM (reads: 547, responses: 0)
|
|
CDuce
"CDuce extends XDuce with first-class and late-bound overloaded functions, and generalizes the boolean connectives (explicit union, intersection, negation types)." (XDuce has been discussed on LtU).
CDuce: a white paper
Peculiar features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference and a natural interpretation of types as sets of values.
Semantic subtyping
Last but not least the approach has an immediate impact in the definition and the implementation of languages manipulating XML documents...
|
|
|
|