Lambda the Ultimate

inactiveTopic CDuce
started 3/3/2003; 3:51:05 PM - last post 3/3/2003; 3:51:05 PM
Isaac Gouy - CDuce  blueArrow
3/3/2003; 3:51:05 PM (reads: 547, responses: 0)
"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...