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:5 - 2 self