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]
Xavier Leroy
:
Formal certification of a compiler back-end, or: programming a compiler with a proof assistant
,
POPL 2006
.