Publisher
Springer Berlin Heidelberg
Reference53 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer-Verlag, New York (1996)
2. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems 13(2), 237–268 (1991)
3. Aiken, A., Wimmers, E.L., Lakshman, T.K.: Soft typing with conditional types. In: POPL ’94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Portland, Oregon, United States, pp. 163–173. ACM Press, New York (1994)
4. Anderson, C., Drossopoulou, S.: BabyJ - from object based to class based programming via types. In: WOOD ’03, vol, vol. 82, Elsevier, Amsterdam (2003)
5. Aydemir, B.E., Bohannon, A., Fairbairn, M., Foster, J.N., Pierce, B.C., Sewell, P., Vytiniotis, D., Weirich, G.W.S., Zdancewic, S.: Mechanized metatheory for the masses: The POPLmark challenge (May 2005)
Cited by
126 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nominal Types for Erlang;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
3. Quest Complete: The Holy Grail of Gradual Security;Proceedings of the ACM on Programming Languages;2024-06-20
4. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric;Proceedings of the ACM on Programming Languages;2024-06-20
5. Generating Python Type Annotations from Type Inference: How Far Are We?;ACM Transactions on Software Engineering and Methodology;2024-06-03