A principled approach to operating system construction in Haskell
- 12 September 2005
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (9) , 116-128
- https://doi.org/10.1145/1086365.1086380
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Exploring the barrier to entryPublished by Association for Computing Machinery (ACM) ,2004
- A Network Protocol Stack in Standard MLHigher-Order and Symbolic Computation, 2001
- Monad transformers and modular interpretersPublished by Association for Computing Machinery (ACM) ,1995
- Lambdas in the liftshaft---functional programming and an embedded architecturePublished by Association for Computing Machinery (ACM) ,1995