The Scala runtime system for the Ermine programming language