%0 Conference Proceedings
%F gil2001
%A Gil, Joseph
%T Subtyping arithmetical types
%B POPL
%P 276-289
%D 2001
%K rectype