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

Clifford Beshers David Fox Jeremy Shaw

Published in: ICFP (2007)

Keyphrases

functional programming
programming language
operating system
execution model
quantifier elimination
functional language
information systems
high level
software engineering
general purpose
artificial intelligence
web services
file system