2 papers
cs.PL2019
Selective Lambda Lifting
Sebastian Graf, Simon Peyton Jones
Lambda lifting is a well-known transformation, traditionally employed for compiling functional programs to supercombinators. However, more recent abstract machines for functional l…
cs.PL2016
Trees That Grow
Shayan Najd, Simon Peyton Jones
We study the notion of extensibility in functional data types, as a new approach to the problem of decorating abstract syntax trees with additional sets of information. We observed…