Type-Safe Compilation of Covariant Specialization: A Practical Case
by
John Boyland
,
Giuseppe Castagna
| Citations: | 22 - 3 self |







