Rinus Plasmeijer Arjen van Weelden A Functional Shell That Operates on Typed and Compiled Applications. 245-272 2004 conf/afp/2004 Advanced Functional Programming http://dx.doi.org/10.1007/11546382_6 db/conf/afp/afp2004.html#PlasmeijerW04