%0 Conference Proceedings
%F fcb2002
%A Frisch, Alain
%A Castagna, Giuseppe
%A Benzaken, Véronique
%T Semantic Subtyping
%B LICS
%P 137-146
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/frisch2002.pdf
%D 2002
%K algexp