References
[1] By us:
A Principled Approach to Operating System Construction in Haskell
,
ICFP 2005
.
[2] Lennart Augustsson and Thomas Johnsson:
Parallel Graph Reduction with the <ν,G> machine
, FPCA 1989.
[3] Benjamin Gregoire and Xavier Leroy,
A compiled implementation of strong reduction
,
ICFP 2002
.
[4] John C. Reynolds: Separation Logic: A Logic for Shared Mutable Data Structures, LICS 2002.