Author:
Henglein Fritz,Rehof Jakob
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A. Aiken and E.L. Wimmers. Type inclusion constraints and type inference. In Proceedings FPCA '93, Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 31–42, June 1993.
2. A. Aiken, E.L. Wimmers, and J. Palsberg. Optimal representations of polymorphic types with subtyping. In Proceedings TACS '97, Theoretical Aspects of Computer Sü\ware, Sendai, Japan, pages 47–77. Springer Lecture Notes in Computer Science,vol. 1281, September 1997.
3. R. Amadio and L. Cardelli. Subtyping recursive types. InProc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida, pages 104–118. ACM Press, January 1991.
4. R. Amadio and L. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575–631, September 1993.
5. W. Charatonik and A. Podelski. The independence property of a class of set constraints. In Conference on Principles and Practice of Constraint Programming, pages 76–90. Springer-Verlag, 1996. Lecture Notes in Computer Science, Vol. 1118.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献