Coercion as homomorphism: type inference in a system with subtyping and overloading.

Alexander V. Shafarenko

Browse the full PPDP paper archive.