Publisher
Springer Nature Singapore
Reference32 articles.
1. Lecture Notes in Computer Science;B Accattoli,2016
2. Accattoli, B., Barenbaum, P.: A diamond machine for strong evaluation. CoRR abs/2309.12515 (2023). https://arxiv.org/abs/2309.12515
3. Accattoli, B., Barenbaum, P., Mazza, D.: Distilling abstract machines. In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, September 1–3, 2014, pp. 363–376 (2014). https://doi.org/10.1145/2628136.2628154
4. Lecture Notes in Computer Science;B Accattoli,2015
5. Accattoli, B., Barras, B.: Environments and the complexity of abstract machines. In: Vanhoof, W., Pientka, B. (eds.) Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09–11, 2017, pp. 4–16. ACM (2017). https://doi.org/10.1145/3131851.3131855