Type reconstruction for coercion polymorphism

Ryan Stansifer, Dan Wetklow. Type reconstruction for coercion polymorphism. In SAC. pages 420-424, 1994. [doi]

Bibliographies