Login / Signup

Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers).

Giuseppe Castagna
Published in: Log. Methods Comput. Sci. (2020)
Keyphrases