我々の TDPE： Basic Idea (1)

Reflection を行わない！

reify(?x. t) = ?y. reify((?x. t) @ y)

(where y is fresh)

reify(t1 @ t2) = reify(t1) @ reify(t2)

reify(y) = y

Previous slide

Next slide

Back to first slide

View graphic version