Sather-K

Karlsruhe Sather

A sublanguage of Sather used for introductory courses in object-oriented design and typesafe programming.