Patrick provided some pictures of the syntactically transformed TDL idioms modelled within S-P. Jeremy Patrick says: The slides depict (1) the minimal, basic idiom for all literal values, (2) mulitiple locally defined types, (3) multiple globally defined types, and (4) cohabitation of local and global typing. It is presumed in slide 1 that the interpretation (complete TDL) is provided by the application environment, or by some subsequently syndicated global typing.
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:44:02 EDT