Subtyping Recursive Types Modulo Associative Commutative Products

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/11417170_14 ◽

2005 ◽

pp. 179-193 ◽

Cited By ~ 4

Author(s):

Roberto Di Cosmo ◽

François Pottier ◽

Didier Rémy

Download Full-text