Inheritance is not subtyping | Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - discu.eu

Linking pages

Extensible Metatheory Mechanization via Family Polymorphism | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3591286 0 comments

Linked pages

Code of Ethics https://www.acm.org/code-of-ethics 60 comments
Association for Computing Machinery https://www.acm.org/ 54 comments
Improving Science That Uses Code | The Computer Journal | Oxford Academic https://academic.oup.com/comjnl/advance-article/doi/10.1093/comjnl/bxad067/7235536 0 comments

Related searches:

Search whole site: site:dl.acm.org

Search title: Inheritance is not subtyping | Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

See how to search.

Submit link to: