That principle is actually directly from the CTM book, which seems to have been a great inspiration for Martin Odersky in the language design.
That principle is actually directly from the CTM book, which seems to have been a great inspiration for Martin Odersky in the language design.