From push/enter to eval/apply by program transformation

Push/enter and eval/apply are two calling conventions used in implementations of functional languages. In this paper, we explore the following observation: when considering functions with multiple arguments, the stack under the push/enter and eval/apply conventions behaves similarly to two particula...

Full description

Bibliographic Details
Main Authors: Pirog, M, Gibbons, J
Format: Conference item
Published: Electronic Proceedings in Theoretical Computer Science (EPTCS) 2015