Author:
Bakel Steffen,Fernández Maribel
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Z. Ariola, R. Kennaway, J.W. Klop, R. Sleep, and F-J. de Vries. Syntactic definitions of undefined: on defining the undefined. In TACS '94, LNCS, 789, pages 543–554, 1994.
2. S. van Bakel. Complete restrictions of the Intersection Type Discipline. Theoretical Computer Science, 102:135–163, 1992.
3. S. van Bakel. Partial Intersection Type Assignment in Applicative Term Rewriting Systems. In TLCA '93, LNCS 664, pages 29–44, 1993.
4. S. van Bakel. Principal type schemes for the Strict Type Assignment System. Logic and Computation, 3(6):643–670, 1993.
5. S. van Bakel. Rank 2 Intersection Type Assignment in Term Rewriting Systems. Fundamenta Informaticae, 1996. To appear.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献