Subtyping Recursive Types modulo Associative Commutative Products (2003)

by Roberto Di Cosmo , Francois Pottier , Didier Remy
Venue:Seventh International Conference on Typed Lambda Calculi and Applications (TLCA ’05
Citations:8 - 0 self