Yasunao Takano, Hideya Iwasaki
Thunk recycling for lazy functional languages: operational semantics and correctness
SAC, 2015.
@inproceedings{SAC-2015-TakanoI, author = "Yasunao Takano and Hideya Iwasaki", booktitle = "{Proceedings of the 30th Annual ACM Symposium on Applied Computing}", doi = "10.1145/2695664.2695693", isbn = "978-1-4503-3196-8", pages = "2079--2086", publisher = "{ACM}", title = "{Thunk recycling for lazy functional languages: operational semantics and correctness}", year = 2015, }