Arjen van Weelden, Marinus J. Plasmeijer. Towards a Strongly Typed Functional Operating System. In Ricardo Pena, Thomas Arts, editors, Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Volume 2670 of Lecture Notes in Computer Science, pages 215-231, Springer, 2002. [doi]