1 paper
Maciej Piróg, Jeremy Gibbons
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 functio…