OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

 


 

   Re: [xml-dev] Names As Types

[ 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>



 

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS