Metasepi team meeting #13: NetBSD driver using Haskell
Type inference in type-based verification Dimitrios Vytiniotis, Microsoft Research [email protected] May 2010.
Metasepi team meeting #8': Haskell apps on Android NDK
Metasepi team meeting #7: Snatch application on tiny OS
Haskell
Start You a Haskell (for Great Good)!
The Architecture of Open Source Applications, Volume II