Author:
Siek Jeremy G.,Vitousek Michael M.,Cimini Matteo,Tobin-Hochstadt Sam,Garcia Ronald
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically-typed language. In: Symposium on Principles of programming languages (1989)
2. Bierman, G., Meijer, E., Torgersen, M.: Adding dynamic types to C#. In: European Conference on Object-Oriented Programming (2010)
3. Boyland, J.T.: The problem of structural type tests in a gradual-typed language. In: Foundations of Object Oriented Languages, FOOL 2014, pp. 675–681. ACM (2014)
4. Fähndrich, M., Leino, K.R.M.: Heap monotonic typestate. In: International Workshop on Alias Confinement and Ownership (2003)
5. Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: International Conference on Functional Programming, ICFP, pp. 48–59 (2002)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Gradually Typed Languages Should Be Vigilant!;Proceedings of the ACM on Programming Languages;2024-04-29
2. Type-Based Gradual Typing Performance Optimization;Proceedings of the ACM on Programming Languages;2024-01-05
3. Static Blame for gradual typing;Journal of Functional Programming;2024
4. Gradual Typing Performance, Micro Configurations and Macro Perspectives;Lecture Notes in Computer Science;2024
5. How Profilers Can Help Navigate Type Migration;Proceedings of the ACM on Programming Languages;2023-10-16