Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference64 articles.
1. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P.D. Mosses, D. Sannella, A. Tarlecki, CASL: The Common Algebraic Specification Language, Theoretical Computer Science (2001), to appear
2. Dynamic typing in a statically typed language;Abadi;ACM Transactions on Programming Languages and Systems,1991
3. Dynamic typing in polymorphic languages;Abadi,1992
4. Lambda calculi with types;Barendregt,1992
5. Intersection and union types: syntax and semantics;Barbanera;Information and Computation,1995
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Shoggoth: A Formal Foundation for Strategic Rewriting;Proceedings of the ACM on Programming Languages;2024-01-05
2. Gradually typing strategies;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15
3. Generic Encodings of Constructor Rewriting Systems;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Programming errors in traversal programs over structured data;Science of Computer Programming;2013-10
5. Growing a Language in Pattern Calculus;2013 International Symposium on Theoretical Aspects of Software Engineering;2013-07