Elegant

Exploiting Lazy Evaluation for the Grammar Attributes of Non-Terminals

Royal Philips Electronics, about 1990

An imperative programming language with many of the features of functional languages: subtyping, polymorphic types, lazy types, list comprehensions, overloading, pattern matching. Syntax similar to C and Haskell.