An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.

Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy

Browse the full MFPS paper archive.