14 Oct 2024

Previous: 7 Oct 2024 Next: 18 Nov 2024

  1. datalog

  2. bigraphs, formalism, lambda calc

  3. next:

    1. CACM: History of Package Managers

    2. Systems Paper: Implementing it all

    3. DoDO