Author:
Flatt Matthew,Krishnamurthi Shriram,Felleisen Matthias
Cited by
177 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Functional Shell and Reusable Components for Easy GUIs;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
2. How to Evaluate Blame for Gradual Types, Part 2;Proceedings of the ACM on Programming Languages;2023-08-30
3. Extensible Metatheory Mechanization via Family Polymorphism;Proceedings of the ACM on Programming Languages;2023-06-06
4. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09
5. Wildcards need witness protection;Proceedings of the ACM on Programming Languages;2022-10-31