%0 Journal Article 
%F fcb2008
%A Frisch, A.
%A Castagna, G.
%A Benzaken, V.
%T Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types
%J Journal of the ACM (JACM)
%V 55
%N 4
%I ACM
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/frisch2008.pdf
%D 2008
%K algexp