\input zb-basic \input zb-ioport \iteman{io-port 70114501} \itemau{Chuang, Tyng-Ruey; Mu, Shin-Cheng} \itemti{Out-of-core functional programming with type-based primitives} \itemso{PADL, 32-46 (2000).} \itemcc{} \itemut{} \itemli{doi:10.1007/3-540-46584-7\_3} \end