"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 - 01:52:26 CST
