関連研究

• [Danvy 96 & 97] [Sheard 97]:reflection のできない型には ad hoc に対応

? 複雑で効率が悪い

• [Thiemann 96 & 99]:HOAS を用いた offline SDPE から我々と同様の変換で offline PGG を導出

• [Helsen & Thiemann 98]:上の offline PGG と Danvy の TDPE の類似性を指摘

Previous slide

Next slide

Back to first slide

View graphic version