Arjen van Weelden Marinus J. Plasmeijer Towards a Strongly Typed Functional Operating System. 215-231 http://dx.doi.org/10.1007/3-540-44854-3_14 2002 conf/ifl/2002 IFL db/conf/ifl/ifl2002.html#WeeldenP02