Conclusion
We have:
- Reviewed Danvy's TDPE
- Extended it with online value destructors
- Seen the similarity of our online TDPE and cogen approach to online SDPE
Our future work includes:
- More integration of SDPE and TDPE
- More sophisticated treatment of side-effects (including non-termination)