… that is a suitable basis for building operating systems in Haskell. The interface includes … IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how …, including a simple separation kernel and a demonstration system in which the kernel …
ICFP 2005: 116-128 [doi]… A serious problem for programming environments and operating systems is that existing software becomes invalid when the environment or operating system is replaced by a new release. Unfortunately, there has been no systematic treatment …
In Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments. 1987: [doi]