In ML...
- let val f = fn x => (fn y => y) x
val z = gensym ()
in Abs(z, f (Var(z)))
end;
> val it = Abs ("x1",Var "x1") : exp
- let val g = fn x => fn y => x
val p = gensym ()
val q = gensym ()
in Abs(p, Abs(q, g (Var(p)) (Var(q))))
end;
> val it = Abs ("x2",Abs ("x3",Var "x2")) : exp
Previous slide
Next slide
Back to first slide
View graphic version