A type system for RCL, part 2: The type system (ruudvanasseldonk.com)
Programming, Type Systems, RCL
30 points by todsacerdoti 128 days ago | 8 comments