Changes related to "Category:Type systems"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
29 June 2015
- (diff | hist) . . Type system; 09:45 . . (-1,114) . . 18.104.22.168 (Removed redundant paragraph and combined references with similar earlier section) (Tag: section blanking)
- (diff | hist) . . Type system; 09:44 . . (+493) . . 22.214.171.124 (→Static and dynamic type checking in practice: Combining redundant paragraph with this section)
- (diff | hist) . . Type system; 09:37 . . (+20) . . 126.96.36.199 (→Union types: Citation needed for the example of a union type of signed and unsigned giving an extended range integer. This appears incompatible with the usual definition of union or sum type)