Author:
Felleisen M.,Friedman D. P.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Qualifying System F
<:
: Some Terms and Conditions May Apply;Proceedings of the ACM on Programming Languages;2024-04-29
2. Simple Reference Immutability for System F
<:;Proceedings of the ACM on Programming Languages;2023-10-16
3. PureCake: A Verified Compiler for a Lazy Functional Language;Proceedings of the ACM on Programming Languages;2023-06-06
4. Summary-Based Compositional Analysis for Soft Contract Verification;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10
5. ιDOT: a DOT calculus with object initialization;Proceedings of the ACM on Programming Languages;2020-11-13