back [alt+←]
39

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