K Languages

Here we present several "real-world" language examples. These languages demonstrate many of the features you would expect to find in a full-fledged programming language.

• SIMPLE: Imperative programming language with threads.
• KOOL: SIMPLE extended with object-oriented features.
• FUN: A functional language with algebraic data-types and pattern-matching.
• LOGIK: A logical programming language based on clause unification.