Lambda the Ultimate
started 3/4/2003; 5:52:12 AM - last post 3/4/2003; 5:52:12 AM
3/4/2003; 5:52:12 AM (reads: 986, responses: 0)
CDuce extends XDuce with first-class and late-bound overloaded functions, and generalizes the boolean connectives (explicit union, intersection, negation types).
More info in the
on 3/4/03; 5:52:27 AM