Syntactically Restricting Bounded Polymorphism for Decidable Subtyping-Reference-Cited by-同舟云学术

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping

Published:2020 Issue: Volume: Page:125-144
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Mackay Julian^ORCID,Potanin Alex^ORCID,Aldrich Jonathan^ORCID,Groves Lindsay^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-64437-6_7

Reference17 articles.

1. Syntactically restricting bounded polymorphism for decidable subtyping. Technical report (2020). https://doi.org/10.5281/zenodo.4039832

2. Amin, N., Moors, A., Odersky, M.: Dependent object types. In: 19th International Workshop on Foundations of Object-Oriented Languages (2012)

3. Amin, N., Rompf, T., Odersky, M.: Foundations of path-dependent types. In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2014 (2014)

4. Cardelli, L., Martini, S., Mitchell, J.C., Scedrov, A.: An extension of system F with subtyping. In: Ito, T., Meyer, A.R. (eds.) Theor. Aspects Comput. Softw., pp. 750–770. Springer, Berlin Heidelberg, Berlin, Heidelberg (1991)

5. Castagna, G., Pierce, B.C.: Decidable bounded quantification. In: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1994 (1994)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decidable Subtyping of Existential Types for Julia;Proceedings of the ACM on Programming Languages;2024-06-20

2. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05

3. Finding typing compiler bugs;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09