102 citations · 202 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 3 cited
Semantic subtyping for non-strict languages
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…
cs.PL2018★ 6 cited
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)
Giuseppe Castagna
Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of method parameters in o…