[sc34wg3] CTM: Specifying datatypes

Lars Heuer heuer at semagia.com
Mon Mar 30 14:49:49 EDT 2009

> I tend to join Graham's fan club and leave CTM as it is (regarding
> this issue) just to avoid the ugliness of translating literals from
> one datatype to another.

Btw, here is an example which mechanisms may be involved if we want a
sophisticated (non-naive) translation of datatypes:

Best regards,

More information about the sc34wg3 mailing list