NixOS: A purely functional Linux distribution

Journal of Functional Programming

Volumn 20, Issue 5-6, 2010, Pages 577-615

  Dolstra, Eelco ^a   Löh, Andres ^b   Pierron, Nicolas ^c  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c EPITA RESEARCH AND DEVELOPMENT LABORATORY LRDE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 80054933038     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796810000195     Document Type: Article

References (31)

1. Anderson, Rick. 2000 (Jan.). The end of DLL hell. MSDN, http://msdn2.microsoft.com/enus/ library/ms811694.aspx.
2. Beshers, Clifford, Fox, David, & Shaw, Jeremy. (2007). Experience report: using functional programming to manage a Linux distribution. In ICFP'07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming, R. Hinze and N. Ramsey (eds.), New York, NY, USA: ACM, pp. 213-218. (Pubitemid 351203761)
3. Boehm, Hans-Juergen. 1993 (June). Space efficient conservative garbage collection. Pages 197-206 of: Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation. SIGPLAN Notices, no. 28/6.
4. Den Breejen, Wouter. 2008 (Mar.). Managing state in a purely functional deployment model. M.Phil. thesis, Dept. of Information and Computing Sciences, Utrecht University. INF/SCR-2007-053.
5. Burgess, Mark. (1995). A site configuration engine. Computing systems, 8(3), 309-337.
6. Clemm, G. (February 1986) The Odin System - an Object Manager for Extensible Software Environments. Ph.D. thesis, University of Colorado at Boulder.
7. Clemm, G. (1995) The Odin system. In Selected Papers from the ICSE SCM-4 and SCM-5 Workshops on Software Configuration Management. Lecture Notes in Computer Science, no. 1005. Springer-Verlag, pp. 241-262.
8. Cosmo, R. D., Zacchiroli, S. & Trezentos, P. (2008) Package upgrades in FOSS distributions: details and challenges. In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades. New York, NY, USA: ACM, pp. 1-5.
9. Den Breejen, W. (March 2008). Managing State in a Purely Functional Deployment Model. M.Phil. thesis, Dept. of Information and Computing Sciences, Utrecht University. INF/SCR-2007-053.
10. DeTreville, J. (2005) Making system configuration more declarative. In HotOS X: 10th Workshop on Hot Topics in Operating Systems. USENIX, pp. 61-66.
11. Dolstra, E. (November 2005). Secure sharing between untrusted users in a transparent source/binary deployment model. In 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), pp. 154-163.
12. Dolstra, E. (2006) The Purely Functional Software Deployment Model. Ph.D. thesis, Faculty of Science, Utrecht University, The Netherlands.
13. Dolstra, E. (2008) Maximal laziness - an efficient interpretation technique for purely functional DSLs. In Eighth Workshop on Language Descriptions, Tools and Applications (LDTA 2008). Electronic Notes in Theoretical Computer Science, vol. 238, no. 5. Elsevier Science Publishers, pp. 81-99.
14. Dolstra, E., Visser, E. & de Jonge, M. (2004) Imposing a memory management discipline on software deployment. In Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). IEEE Computer Society, pp. 583-592.
15. Feldman, S. I. (1979) Make-a program for maintaining computer programs, Soft.-Prac. Exp., 9(4), 255-265.
16. Foster-Johnson, E. (2003) Red Hat RPM Guide. John Wiley & Sons. Also Available at: http://fedora.redhat.com/docs/drafts/rpm-guide-en/ FreeBSD Project. (2009) FreeBSD Ports Collection. Available at: http://www.freebsd.org/ ports/
17. Hallgren, T., Jones, M. P., Leslie, R. & Tolmach, A. (2005) A principled approach to operating system construction in Haskell. In ICFP '05: Tenth ACM SIGPLAN International Conference on Functional Programming. ACM, pp. 116-128. (Pubitemid 43907038)
18. Hart, J. & D'Amelia, J. (2002) An analysis of RPM validation drift. In Proceedings of the 16th Systems Administration Conference (LISA '02). USENIX, pp. 155-166.
19. Heydon, A., Levin, R. & Yu, Y. (2000) Caching function calls using precise dependencies. In ACM SIGPLAN '00 Conference on Programming Language Design and Implementation. ACM, pp. 311-320. (Pubitemid 32394104)
20. Heydon, A., Levin, R., Mann, T. & Yu, Y. (March 2001). The Vesta Approach to Software Configuration Management. Tech. Rep. Research Report 168. Compaq Systems Research Center.
21. Hudak, P. (1989) Conception, evolution, and application of functional programming languages. ACM Comput. Surv., 21(3), 359-411. (Pubitemid 20648306)
22. Kanies, L. (2003) ISconf: Theory, practice and beyond. In Proceedings of the 17th USENIX Conference on System Administration (LISA '03). USENIX, pp. 115-124.
23. Pendry, J.-S. & McKusick, M. K. (1995) Union mounts in 4.4BSD-Lite. Proceedings of the USENIX 1995 Technical Conference. USENIX, pp. 25-33.
24. Peyton Jones, S. (1992) Implementing lazy functional languages on stock hardware: The Spineless Tagless G-machine. J. Funct. Program., 2(2), 127-202.
25. Peyton Jones, S. (ed). (2004) Haskell 98 Language and Libraries: The revised Report. Cambridge University Press.
26. Schneier, B. (1996) Applied Cryptography. 2nd ed. John Wiley & Sons.
27. Sloane, A. M. (2002) Post-design domain-specific language embedding: A case study in the software engineering domain. In Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02). Washington, DC, USA: IEEE Computer Society, pp. 281-289.
28. Stevens, W. R. & Rago, S. A. (2005) Advanced Programming in the UNIX Environment. 2nd ed. Addison-Wesley.
29. TIS Committee. (May 1995) Tool Interface Specification (TIS) Executable and Linking Format (ELF) Specification, Version 1.2.
30. Traugott, S. & Brown, L. (2002) Why order matters: Turing equivalence in automated systems administration. In Proceedings of the 16th Systems Administration Conference (LISA '02). USENIX, pp. 99-120.
31. Tucker, D. B. & Krishnamurthi, S. (2001) Applying module system research to package management. In Tenth International Workshop on Software Configuration Management (SCM-10).