Re: Demo: Modelling Cost of Travel Paths Between Towns

From: Marshall Spight <mspight_at_dnai.com>
Date: Thu, 18 Nov 2004 05:24:11 GMT
Message-ID: <%lWmd.45950$V41.42941@attbi_s52>

"Ja Lar" <jalar_at_nomail.com> wrote in message news:cnevu6$fo2$1_at_news.net.uni-c.dk...
>
> > The canonical term is "type system" which is in turn an implementation
> > of type theory. You might start here:
> >
> > http://en.wikipedia.org/wiki/Type_theory
> >
> > Anything by Piere is interesting. You can also Google for it, but
> > be sure to cull any XML-related results. :-)
> >
> Thank you. Can you give me a hint if this supports Laconics definition of
> "type engine" or not.

I'd say so. It might be that his "type engine" term has a tendency to be about implementation, where "type system" might be more about model, but then again, maybe not.

Marshall Received on Wed Nov 17 2004 - 23:24:11 CST