Subtyping with Union Types, Intersection Types and Recursive Types - researchr publication

researchr

You are not signed in
Sign in
Sign up

Flemming M. Damm. Subtyping with Union Types, Intersection Types and Recursive Types. In Masami Hagiya, John C. Mitchell, editors, Theoretical Aspects of Computer Software, International Conference TACS 94, Sendai, Japan, April 19-22, 1994, Proceedings. Volume 789 of Lecture Notes in Computer Science, pages 687-706, Springer, 1994.

Abstract is missing.

runs on WebDSL