\input zb-basic
\input zb-ioport
\iteman{io-port 70321234}
\itemau{Leroy, Xavier}
\itemti{Unboxed objects and polymorphic typing}
\itemso{POPL, 177-188 (1992).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/143165.143205}
\end