Author:
Flatt Matthew,Krishnamurthi Shriram,Felleisen Matthias
Cited by
173 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. How to Evaluate Blame for Gradual Types, Part 2;Proceedings of the ACM on Programming Languages;2023-08-30
2. Extensible Metatheory Mechanization via Family Polymorphism;Proceedings of the ACM on Programming Languages;2023-06-06
3. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09
4. Wildcards need witness protection;Proceedings of the ACM on Programming Languages;2022-10-31
5. Traits: Correctness-by-Construction for Free;Formal Techniques for Distributed Objects, Components, and Systems;2022