Author:
Trifonov Valery,Smith Scott
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. A. Aiken and E. L. Wimmers. Type inclusion constraints and type inference. In Proceedings of the International Conference on Functional Programming Languages and Computer Architecture, pages 31–41, 1993.
2. A. Aiken, E. L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Conference Record of the Twenty-First Annual ACM Symposium on Principles of Programming Languages, pages 163–173, 1994.
3. R. Amadio and L. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575–631, September 1993. Extended abstract in POPL 1991.
4. FranÇois Bourdoncle and Stephan Merz. On the integration of functional programming, class-based object-oriented programming, and multi-methods. Technical Report 26, Centre des Mathématiques Appliquées, Ecole des Mines de Paris, 1996. Available at http://www.ensmp.fr/~bourdonc/.
5. Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):217–238, 1995.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Decidable Subtyping of Existential Types for Julia;Proceedings of the ACM on Programming Languages;2024-06-20
2. Structural Subtyping as Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2023-10-16
3. Error Localization for Sequential Effect Systems;Static Analysis;2023
4. Intensional datatype refinement: with application to scalable verification of pattern-match safety;Proceedings of the ACM on Programming Languages;2021-01-04
5. Kindly bent to free us;Proceedings of the ACM on Programming Languages;2020-08-02