EECS 843

Programming Langauge Foundation II

Index
Blog

Mini-Project 1

  1. Write a relation bevalR in the same style as aevalR. Prove that it is equivalent to beval. A goal should be making your proof as abstract as is possible.