Re: Demo: Modelling Cost of Travel Paths Between Towns
Date: Wed, 17 Nov 2004 08:52:26 +0100
Message-ID: <cnevu6$fo2$1_at_news.net.uni-c.dk>
"Marshall Spight" <mspight_at_dnai.com> skrev i en meddelelse
news:GHqmd.345147$wV.2750_at_attbi_s54...
> "Ja Lar" <ingen_at_mail.her> wrote in message
news:4194ed13$0$245$edfadb0f_at_dread11.news.tele.dk...
> >
> > I may well be wrong, as I don't know what you mean by "type engine".
> >
> > (For reference and to educate myself: where can I find your term "type
> > engine" defined as you use it?)
>
> 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.
Received on Wed Nov 17 2004 - 08:52:26 CET