© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Tail recursion without space leaks
Richard E. Jones
Journal of Functional Programming, 2(1):182-196, January 1992.Bibtex Record
@article{28, author = {Richard E. Jones}, title = {Tail recursion without Space Leaks}, month = {January}, year = {1992}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1992/28}, ISSN = {0956--7968}, annote = {Fixes space leaks by black holing redexes}, journal = {Journal of Functional Programming}, number = {1}, volume = {2}, }