Author:
Allende Esteban,Callaú Oscar,Fabry Johan,Tanter Éric,Denker Marcus
Funder
FONDECYT
INRIA Associated Team PLOMO
Reference42 articles.
1. Soft typing;Cartwright,1991
2. Strongtalk: Typechecking Smalltalk in a production environment;Bracha;ACM SIGPLAN Not.,1993
3. Pluggable type systems;Bracha,2004
4. Hybrid type checking;Knowles;ACM Transactions on Programming Languages and Systems,2010
5. Typed scheme: From scripts to programs;Tobin-Hochstadt,2010
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhancing embedded systems development with TS$$^-$$;Automated Software Engineering;2023-12-06
2. GTP Benchmarks for Gradual Typing Performance;Proceedings of the 2023 ACM Conference on Reproducibility and Replicability;2023-06-27
3. Typed–Untyped Interactions: A Comparative Analysis;ACM Transactions on Programming Languages and Systems;2023-03-05
4. The behavior of gradual types: a user study;ACM SIGPLAN Notices;2020-04-06
5. Optimizing and evaluating transient gradual typing;Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages;2019-10-20