*Homepage:* http://cs.hofstra.edu/~cscccl/ * [[Compiler Construction in Higher Order Logic Programming]] * [[Higher Order Compilation Project]] ---- CategoryPeople