1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Steffen van Bakel, Reuben N. S. Rowe
We apply the principles of the intersection type discipline to the study of class-based object oriented programs and; our work follows from a similar approach (in the context of Ab…