Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237–268, 1991.
2. M. Abadi, L. Cardelli, B. Pierce, and D. Rémy. Dynamic Typing in Polymorphic Languages. Journal of Functional Programming, 5(1):111–130, 1995.
3. E. Barendsen and J. Smetsers. Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Mathematical Structures in Computer Science, 6:579–612, 1996.
4. A.J.T. Davie, K. Hammond, and J.-J. Quintela. Efficient Persistent Haskell, In Draft Proc. 10th International Workshop on the Implementation of Functional Languages (IFL’ 98), London, England, pages 183–194, 1998.
5. M.C.J.D. van Eekelen and M.J. Plasmeijer. Functional Programming and Parallel Graph Rewriting, Addison-Wesley, 1993.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Editors for Well-Typed Expressions;Lecture Notes in Computer Science;2021
2. A Compilation Method for Dynamic Typing in ML;Programming Languages and Systems;2021
3. A Reflection on Types;A List of Successes That Can Change the World;2016
4. Functional Semantics;Lecture Notes in Computer Science;2013
5. Clean Up the Web!;Lecture Notes in Computer Science;2013