Fingerprint
Dive into the research topics of 'Coercion as homomorphism: type inference in a system with subtyping and overloading'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Coercion as homomorphism: type inference in a system with subtyping and overloading
A. Shafarenko
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3
Citations
(Scopus)
67
Downloads
(Pure)