Author:
Büchi Martin,Weck Wolfgang
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Rewriting for sound and complete union, intersection and negation types;ACM SIGPLAN Notices;2017-12
2. Rewriting for sound and complete union, intersection and negation types;Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2017-10-23
3. Sound and Complete Flow Typing with Unions, Intersections and Negations;Lecture Notes in Computer Science;2013
4. Implementing Federated Object Systems;ECOOP 2013 – Object-Oriented Programming;2013
5. Java supervenience;Computer Languages, Systems & Structures;2012-04