Made Available Software
- The department is well known for its work on the functional programming language Clean.
Like Haskell it is a pure and lazy functional language, additionally offering some special feautures like Uniqueness Typing, a hybride type system offering dynamics in addition to static typing, and support for type-driven generic functions. The compiler is very fast, and it generates excellent code.
- iTask Much of the current Clean related research is focused around the iTask system. This is a toolkit for building web-based workflow management systems using a powerful workflow language embedded in Clean
- TOMTE, a tool that fully automatically constructs abstractions for automata learning