Essentials of Programming Languages examples