back [alt+←]
27

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