Subtyping Recursive Types in Kernel Fun (1999)

Cached

Download Links

by Dario Colazzo , Giorgio Ghelli
Venue:In IEEE Symposium on Logic in Computer Science (LICS
Citations:6 - 1 self