Experience report: using functional programming to manage a linux distribution.

Clifford Beshers, David Fox, Jeremy Shaw

Browse the full ICFP paper archive.