Polarized subtyping for sized types (2006)

by A Abel
Venue:Proc. of 1st Int. Computer Science Symposium in Russia, CSR 2006 (St. Petersburg