Polymorphic Intersection Type Assignment for Rewite Systems with Intersection and beta-rule (Extended Abstract) (2000)

by Steffen van Bakel , Franco Barbanera , Maribel Fernández
Venue:IN TYPES’99. LNCS
Citations:4 - 2 self