Threesomes, with and without blame
Jeremy G. Siek, Philip L. Wadler · 2010
How to integrate static and dynamic types? Recent work focuses on casts to mediate between the two. However, adding casts may degrade tail calls into a non-tail calls, increasing space consumption from constant to linear in the depth of calls.