Author:
Colazzo Dario,Ghelli Giorgio
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference36 articles.
1. A theory of objects;Abadi,1996
2. M. Abadi, M.P. Fiore, Syntactic considerations on recursive types, in: Proceedings of IEEE Symposium on Logic in Computer Science, 1996, pp. 242–252
3. Galileo: a strongly typed, interactive conceptual language;Albano;ACM Transactions on Database Systems,1985
4. Fibonacci: a programming language for object databases;Albano;VLDB Journal,1995
5. Subtyping recursive types;Amadio;ACM Transactions on Programming Languages and Systems,1993
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Recursive Subtyping for All;Proceedings of the ACM on Programming Languages;2023-01-09
2. Typed path polymorphism;Theoretical Computer Science;2019-08
3. On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types;ACM Transactions on Programming Languages and Systems;2017-03-23
4. Type Soundness for Path Polymorphism;Electronic Notes in Theoretical Computer Science;2016-07
5. Typing Copyless Message Passing;Logical Methods in Computer Science;2012-03-02