Author:
Alpuim João,Oliveira Bruno C. d. S.,Shi Zhiyuan
Publisher
Springer Berlin Heidelberg
Reference53 articles.
1. Ceylon. https://ceylon-lang.org/
2. The Coq Proof Assistant. https://coq.inria.fr/
3. Flow. https://flowtype.org/
4. TypeScript. https://www.typescriptlang.org/
5. Ancona, D., Lagorio, G., Zucca, E.: Jam-designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5), 641–712 (2003)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic Typestate for Session Types;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
2. Structural Subtyping as Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2023-10-16
3. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09
4. MLstruct: principal type inference in a Boolean algebra of structural types;Proceedings of the ACM on Programming Languages;2022-10-31
5. Bidirectional Typing;ACM Computing Surveys;2022-06-30