University
of Washington • CSE583 • D. Notkin © 2000
69
Function application
lApplication
consists of applying this function
given values for the arguments
lWe show this by
listing the values after the
lambda expression
–(lx,y ·x+y) 5 6
–(lx,y ·if x > y then x else y) 5 6
–(lx ·if x > 0 then 1 else
if x < 0 then -1 else 0) -9
if x < 0 then -1 else 0) -9