back [alt+←]
28

A type system for RCL, part 2: The type... in programming by Ruud van Asseldonk