Kenichi Asai. Toward introducing binding-time analysis to MetaOCaml. In Martin Erwig, Tiark Rompf, editors, Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. pages 97-102, ACM, 2016. [doi]
Abstract is missing.