Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software,General Computer Science
Reference20 articles.
1. ?Standard ML of New Jersey release notes (version 0.93),? AT&T Bell Laboratories (November 1993).
2. Damas, L. M. M.Principal Type Schemes for Functional Programs, InProceedings of the 9th Annual ACM Symposium on Principles of Programming Languages (January 1982) 207?212.
3. Damas, L. M. M.Type Assignment in Programming Languages, PhD thesis, University of Edinburgh (1985).
4. Greiner, J. ?Standard ML weak polymorphism can be sound,? Technical Report CMU-CS-93-160R, Carnegie Mellon University (September 1993).
5. Harper, R. and M. Lillibridge. ?Explicit polymorphism and CPS conversion,? InConference Record of the 20th Annual ACM Symposium on Principles of Programming Languages (January 1993) 206?219.
Cited by
102 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Oxidizing OCaml with Modal Memory Management;Proceedings of the ACM on Programming Languages;2024-08-15
2. Abstracting Effect Systems for Algebraic Effect Handlers;Proceedings of the ACM on Programming Languages;2024-08-15
3. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
4. Signature restriction for polymorphic algebraic effects;Journal of Functional Programming;2024
5. Focusing on Refinement Typing;ACM Transactions on Programming Languages and Systems;2023-12-20