The Emerald Programming Language