Stella

Stella is a programming language, designed to practice implementation of type checking algorithms and program transformations. Stella consists of a purely functional core and a collection of language extensions, each introducing certain features for the user.