TMQL slides Prague 2011
Robert Barta <[email protected]>
| Newsgroups | gmane.text.xml.xtm.general |
|---|---|
| Message-ID | <[email protected]> |
Rani,
The slides at
tmql-meeting isa iso-meeting @ "Prague" in 2011
slides : http://www.itscj.ipsj.or.jp/sc34/open/1586.pdf
say at Page 39:
t1 isa t2 .
and then that all instances of t1 are also instances of t2.
I find that a bit ... aggressive. On what semantics is this based?
\rho