Author:
Rytz Lukas,Odersky Martin,Haller Philipp
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 63–74. ACM, New York (2008)
2. Lecture Notes in Computer Science;R.L. Bocchino Jr.,2011
3. Bracha, G.: Pluggable type systems. In: OOPSLA 2004 Workshop on Revival of Dynamic Languages (2004)
4. Foster, J.S., Johnson, R., Kodumal, J., Aiken, A.: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28, 1035–1087 (2006)
5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstracting Effect Systems for Algebraic Effect Handlers;Proceedings of the ACM on Programming Languages;2024-08-15
2. Qualifying System F
<:
: Some Terms and Conditions May Apply;Proceedings of the ACM on Programming Languages;2024-04-29
3. Capturing Types;ACM Transactions on Programming Languages and Systems;2023-11-20
4. Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems;Proceedings of the ACM on Programming Languages;2023-10-16
5. Error Localization for Sequential Effect Systems;Static Analysis;2023