Efficient Recursion in the Presence of Effects

by Derek Dreyer , Robert Harper , Karl Crary