Csc 4330/6330, Programming Language Concepts (Spring 2018)

Homework 4a (Solutions)

  1. Reduce the following expressions to values:
    (((lambda x (lambda y (+ x y))) 10) 5)
    (((lambda f (lambda x (f x))) (lambda y (* y y))) 12)
    ((((lambda f (lambda x ((f x) f))) (lambda y (lambda g (g (* y y))))) 2) (lambda a a))