Pull-Ups, Push-Downs, and Passing It Around -- Exercises in Functional Incrementalization

by Sean Leather , Andres Löh , Johan Jeuring