NixOS: a purely functional Linux distribution.

Eelco Dolstra, Andres Lh

Browse the full ICFP paper archive.