Peter Achten Marko C. J. D. van Eekelen Rinus Plasmeijer Arjen van Weelden GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. 210-244 2004 conf/afp/2004 Advanced Functional Programming http://dx.doi.org/10.1007/11546382_5 db/conf/afp/afp2004.html#AchtenEPW04