M
Matthew Lutze
Publications - 2
Citations - 7
Matthew Lutze is an academic researcher. The author has contributed to research in topics: Union type & Type (biology). The author has an hindex of 1, co-authored 1 publications receiving 1 citations.
Papers
More filters
On Type-Cases, Union Elimination, and Occurrence Typing
TL;DR: In this paper, a type-case construction for intersection type systems is proposed, which combines the union elimination rule of the intersection type system and the typing rules for type-cases of the extension.