Bridging the Gapbetween TDPE and SDPE
Roadmap
What is Partial Evaluation?
Naive Syntax-Directed PE
Implementation in ML
Example
Problems of Naive SDPE
Type-Directed PE [Danvy 96]
How to Reify?? When the Domain is a Base Type ?
In ML...
How to Reify?? When the Domain is a Function Type ?
How to Reify?? In Genral ?
Implementation in ML (1)
Implementation in ML (2)
More Examples
Extensions (1): Pair Types
Extensions (2): Variant Types
Problems
Online TDPE (1)
Online TDPE (2)
Online TDPE (3)
An Experiment
Cogen Approach to Online SDPE
Higher-Order Abstract Syntax
Converter from HOAS to FOAS
Online SDPE in HOAS
Deforestation (1)
Deforestation (2)
Comparison
Related Work
Conclusion
Email : sumii@yl.is.s.u-tokyo.ac.jp
Home Page : http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/
Download presentation source