Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. David R. Aspinall. Subtyping with singleton types. Paper given at Computer Science Logic '94, Kazimierz, Poland, 1994.
2. David R.Aspinall. Algebraic specification in a type-theoretic setting. Forthcoming PhD thesis, Department of Computer Science, University of Edinburgh, 1995.
3. Arnon Avron. Simple consequence relations. Information and Computation, 92:105–139, 1991.
4. Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, and Andre Scedrov. Inheritance as implicit coercion. Information and Computation, 93:172–221, 1991.
5. Luca Cardelli. Structural subtyping and the notion of power type. In Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献