Christian Haack Joe B. Wells Type error slicing in implicitly typed higher-order languages. 189-224 2004 50 Sci. Comput. Program. 1-3 http://dx.doi.org/10.1016/j.scico.2004.01.004 db/journals/scp/scp50.html#HaackW04