How to Reify?? In Genral ?

? : [?] ? ? ? exp

?? v = v

???? v = ?x. ?? (v @ ?? x)

(where x is fresh)

? : [?] ? exp ? ?

?? e = e

???? e = ?x. ?? (e @ ?? x)

Previous slide

Next slide

Back to first slide

View graphic version