Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Accattoli, B., Barenbaum, P., Mazza, D.: Distilling abstract machines. In: ICFP 2014, pp. 363–376 (2014)
2. Lecture Notes in Computer Science;B Accattoli,2015
3. Accattoli, B., Bonelli, E., Kesner, D., Lombardi, C.: A nonstandard standardization theorem. In: POPL, pp. 659–670 (2014)
4. Accattoli, B., Coen, C.S.: On the relative usefulness of fireballs. In: LICS 2015, pp. 141–155 (2015)
5. Accattoli, B., Dal Lago, U.: On the invariance of the unitary cost model for head reduction. In: RTA, pp. 22–37 (2012)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Diamond Machine for Strong Evaluation;Programming Languages and Systems;2023
2. A simple and efficient implementation of strong call by need by an abstract machine;Proceedings of the ACM on Programming Languages;2022-08-29
3. Strong Call-by-Value is Reasonable, Implosively;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
4. Crumbling Abstract Machines;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. Abstract machines for Open Call-by-Value;Science of Computer Programming;2019-10