ls papers and documentation

Nix related


Octopus related

See also the Plan B papers. The octopus is indeed a new way of architecting Plan B.

Plan B related

PhD Theses


Older papers

Those ones related to 2K are here because they were produced while working in Off++ (now a closed project) and also because 2K is kind of related to what we are trying to do now, which means that it's useful to have the links here too.