Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. V. Breazu-Tannen, T. Coquand, C. A. Gunter and A. Scedrov. Inheritance and coercion. Proceedings of the fourth annual symposium on logic in computer science, 1989.
2. Stephen Blott. An approach to overloading with polymorphism. Ph.D. thesis, Department of computing science, University of Glasgow, 1990 (in preparation).
3. Richard Bird and Philip Wadler. Introduction to functional programming. Prentice Hall International, 1989.
4. Dominique Clément, Joëlle Despeyroux, Thierry Despeyroux and Gilles Kahn. A simple applicative language: Mini-ML. ACM symposium on LISP and functional programming, 1986.
5. Luca Cardelli and John Mitchell. Operations on records. Proceedings of the Fifth International Conference on Mathematical Foundations of Programming Language Semantics. Lecture notes in computer science 442, Springer Verlag, 1990.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstracting Effect Systems for Algebraic Effect Handlers;Proceedings of the ACM on Programming Languages;2024-08-15
2. Towards Efficient Adjustment of Effect Rows;Lecture Notes in Computer Science;2022
3. Sound and Complete Type Inference for Closed Effect Rows;Lecture Notes in Computer Science;2022
4. Improving Type Error Reporting for Type Classes;Functional and Logic Programming;2022
5. Effect handlers, evidently;Proceedings of the ACM on Programming Languages;2020-08-02