1. The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures;Proceedings of the ACM on Programming Languages;2024-08-15
2. Supercompilation: main principles and basic concepts;Keldysh Institute Preprints;2018
3. A Scala framework for supercompilation;Proceedings of the 8th ACM SIGPLAN International Symposium on Scala;2017-10-22
4. Exact Bayesian inference by symbolic disintegration;ACM SIGPLAN Notices;2017-05-11
5. Exact Bayesian inference by symbolic disintegration;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01