1 paper · 1 filter
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…