Ryan Stansifer Dan Wetklow Type reconstruction for coercion polymorphism. 420-424 1994 SAC http://doi.acm.org/10.1145/326619.326800 db/conf/sac/sac1994.html#StansiferW94