27 citations · 63 across the 6 of their papers we have counts for
1 paper · 1 filter
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona +1
Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives. It has been studied only for strict languages, a…