Compiler and Language Design II