Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference54 articles.
1. A Theory of Objects;Abadi,1996
2. Subtyping recursive types;Amadio;ACM Transactions on Programming Languages and Systems,1993
3. D. Aspinall, A.B. Compagnoni, Subtyping dependent types, in: Eleventh Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27–30, 1996
4. Subtyping dependent types;Aspinall;Theoretical Computer Science,2001
5. Lambda calculi with types;Barendregt,1992
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献