Author:
Bonnaire-Sergeant Ambrose,Davies Rowan,Tobin-Hochstadt Sam
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Allende, E., Callau, O., Fabry, J., Tanter, É., Denker, M.: Gradual typing for Smalltalk. Sci. Comput. Program. 96, 52–69 (2014)
2. Bonnaire-Sergeant, A.: contributors, core.typed.
https://github.com/clojure/core.typed
3. Cardelli, L., Mitchell, J.C.: Operations on records. Math. Struct. Comput. Sci. 1, 3–48 (1991)
4. Chambers, C.: Object-oriented multi-methods in Cecil. In: Proceedings of the ECOOP (1992)
5. Chambers, C., Leavens, G.T.: Typechecking and modules for multi-methods. In: Proc. OOPSLA (1994)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Discourje: Run-Time Verification of Communication Protocols in Clojure — Live at Last;Lecture Notes in Computer Science;2024-09-13
2. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric;Proceedings of the ACM on Programming Languages;2024-06-20
3. Static Blame for gradual typing;Journal of Functional Programming;2024
4. Typing Records, Maps, and Structs;Proceedings of the ACM on Programming Languages;2023-08-30
5. Typed–Untyped Interactions: A Comparative Analysis;ACM Transactions on Programming Languages and Systems;2023-03-05