Author:
Bierman Gavin,Meijer Erik,Torgersen Mads
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abadi, M., Cardelli, L., Pierce, B.C., Plotkin, G.D.: Dynamic typing in a statically-typed language. In: Proceedings of POPL (1989)
2. Aiken, A., Wimmers, E.L., Lakshman, T.K.: Soft typing with conditional types. In: Proceedings of POPL (1994)
3. Anderson, C., Drossopoulou, S.: BabyJ: From object based to class based programming via types. In: Proceedings of WOOD (2003)
4. Bierman, G.M.: Formalizing and extending C $^{\sharp}$ type inference. In: Proceedings of FOOL (2007)
5. Bierman, G.M., Meijer, E., Torgersen, M.: Lost in translation: Formalizing proposed extensions to C $^{\sharp}$ . In: Proceedings of OOPSLA (2007)
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Type-Based Gradual Typing Performance Optimization;Proceedings of the ACM on Programming Languages;2024-01-05
2. Enhancing embedded systems development with TS$$^-$$;Automated Software Engineering;2023-12-06
3. The StaDyn programming language;SoftwareX;2022-12
4. Gradual System F;Journal of the ACM;2022-10-28
5. Towards Gradual Multiparty Session Typing;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10