Polymorphic type inference and assignment
Author:
Leroy Xavier,Weis Pierre
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
2. Signature restriction for polymorphic algebraic effects;Journal of Functional Programming;2024
3. CPS transformation with affine types for call-by-value implicit polymorphism;Proceedings of the ACM on Programming Languages;2021-08-22
4. References;Concepts and Semantics of Programming Languages 1;2021-04-30
5. Signature restriction for polymorphic algebraic effects;Proceedings of the ACM on Programming Languages;2020-08-02