• From: "Martin v. Loewis" <martin@l...>
• To: gtn@e...
• Date: Fri, 30 Mar 2001 23:24:07 +0200

> I think ordering is just one more type constraint. I'm using
> a non-standard definition of "type" though... where type is proven
> by a set of assertions...

That is actually the definition for a type given in ISO Open
Distributed Processing (ODP): A type is a predicate.

Regards,
Martin

• References:
  • RE: attribute order (RE: Syntax Sugar and XML information models)
    • From: Gavin Thomas Nicol <gtn@e...>

• Prev by Date: Anyone got a SAX2 filter for xml:base ?
• Next by Date: Re: attribute order (RE: Syntax Sugar and XML information models)
• Previous by thread: RE: attribute order (RE: Syntax Sugar and XML information models)
• Next by thread: RE: attribute order (RE: Syntax Sugar and XML information models)
• Index(es):
  • Date
  • Thread