Bernardo Barros Mon, 21 Nov 2011 11:49:10 -0800
Those guys wrote their ideas down here for those interested:
http://www.st.ewi.tudelft.nl/~dolstra/pubs/nixos-jfp-final.pdf