Nixos: a purely functional Linux distribution

DOI10.1017/S0956796810000195MaRDI QIDQ3021413zbMATH OpenFDO

Authors Eelco Dolstra, Andres Löh, Nicolas Pierron

Publication date 25 July 2011

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796810000195

zbMATH Keywords

system administration

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 1484290
• What is a purely functional language?
• State will do
• When is a functional program not a functional program?
• scientific article; zbMATH DE number 3997137

Cites work

• A principled approach to operating system construction in Haskell
• scientific article; zbMATH DE number 401323 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• Make — a program for maintaining computer programs

Cited in

(1)

• Semantic subtyping for non-strict languages

Describes a project that uses

Uses Software

• Haskell
• NixOS

This page was built for publication: Nixos: a purely functional Linux distribution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021413)