Beniamino Accattoli, Bruno Barras
Environments and the complexity of abstract machines
PPDP, 2017.
@inproceedings{PPDP-2017-AccattoliB, author = "Beniamino Accattoli and Bruno Barras", booktitle = "{Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming}", doi = "10.1145/3131851.3131855", isbn = "978-1-4503-5291-8", pages = "4--16", publisher = "{ACM}", title = "{Environments and the complexity of abstract machines}", year = 2017, }