[
Lists Home |
Date Index |
Thread Index
]
On 8/24/05, Bullard, Claude L (Len) <len.bullard@intergraph.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"... ;-)
--
Peter Hunsberger
- References:
- Names As Types
- From: "Bullard, Claude L (Len)" <len.bullard@intergraph.com>
|