topical slide(s): creative technology / new media / game development(s)

Examples

subtyping

$8..12 -> 3..5 <= 9..11 -> 2..6$
${ age : int, speed : int, fuel : int } <= { age : int, speed : int }$
$[ yellow \/ blue ] < [ yellow \/ blue \/ green ]$

slide: Examples of subtyping