1634 2005-07-15 21:38:56 +0000 [FS] "type correct", "type safe", "type-safe", "well-typed" 2007-01-16 17:29:27 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED FIXED P2 minor --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4715 0 fred.zemke 2005-07-15 21:38:56 +0000 3.2.3 Static typing judgment The last two words of this section are "type correct". The phrases "type safe", "type-safe" and "well-typed" are also found in various places. What is the relationship between these terms? I suspect they are all the same. Please pick one and use it consistently. A formal definition, with hotlinks to it, would be appropriate. 4885 1 simeon 2005-07-19 17:12:00 +0000 I believe this is editorial. - Jerome 9248 2 simeon 2006-04-15 21:47:23 +0000 Now uses 'well-typed' consistently. - Jerome