A typed store-passing . . . (2011)

by François Pottier