Sciweavers

CSR
2006
Springer

Polarized Subtyping for Sized Types

15 years 15 days ago
Polarized Subtyping for Sized Types
Andreas Abel
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where CSR
Authors Andreas Abel
Comments (0)