Example
Partially Evaluate p = ?s. ?d. s @ d
with Respect to s = ?x. x
? Strongly Normalize
p @ s = (?s. ?d. s @ d) @ (?x. x)
- let val p = Abs("s",
Abs("d",
App(Var "s",
Var "d")))
val s = Abs("x", Var("x"))
in PE (App(p, s))
end;
> val it = Abs ("x1",Var "x1") : exp
Previous slide
Next slide
Back to first slide
View graphic version