Author:
Bakel Steffen,Fernández Maribel
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. S. van Bakel. Complete restrictions of the Intersection Type Discipline. Theoretical Computer Science, 102:135–163, 1992.
2. S. van Bakel. Partial Intersection Type Assignment of Rank 2 in Applicative Term Rewriting Systems. Technical Report 92-03, Department of Computer Science, University of Nijmegen, 1992.
3. S. van Bakel. Essential Intersection Type Assignment. In R.K. Shyamasunda, editor, Proceedings of FST&TCS '93. 13 th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 761, pages 13–23, Bombay, India, 1993.
4. S. van Bakel. Partial Intersection Type Assignment in Applicative Term Rewriting Systems. In M. Bezem and J.F. Groote, editors, Proceedings of TLCA '93. International Conference on Typed Lambda Calculi and Applications, LNCS 664, pages 29–44, Utrecht, the Netherlands, 1993.
5. S. van Bakel. Principal type schemes for the Strict Type Assignment System. Logic and Computation, 3(6):643–670, 1993.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献