Aspects of programming language design