Thomas Johnsson
λ Lifting: Treansforming Programs to Recursive Equations
FPCA, 1985.
@inproceedings{FPCA-1985-Johnsson85, author = "Thomas Johnsson", booktitle = "{Proceedings of the Second Conference on Functional Programming Languages and Computer Architecture}", doi = "10.1007/3-540-15975-4_37", isbn = "3-540-15975-4", pages = "190--203", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{λ Lifting: Treansforming Programs to Recursive Equations}", volume = 201, year = 1985, }