Lists Home |
Date Index |
On 8/24/05, Bullard, Claude L (Len) <email@example.com> asked:
> If names don't label types, what do we have them for?
Syntactic hooks to better enable us to argue semantics?
Oh, look, a "circular definition"... ;-)
- Names As Types
- From: "Bullard, Claude L (Len)" <firstname.lastname@example.org>