Types and trace effects of higher order programs.

Christian Skalka Scott F. Smith David Van Horn Types and trace effects of higher order programs. 179-249 2008 18 J. Funct. Program. 2 http://dx.doi.org/10.1017/S0956796807006466 db/journals/jfp/jfp18.html#SkalkaSH08