theory Programming language theory, types, design

  1. 1
    No Semicolons Needed (terts.dev) theory
    by antonmedv 28 days ago | 1 comment
  2. 1
    Delimiter-first code (arogozhnikov.github.io) theory
    by antonmedv 28 days ago | 0 comments
  3. 1
    Generalizing Knuth's Pseudocode Architecture From Algorithms to Knowledge (researchgate.net) programming theory
    by melion 32 days ago | 3 comments
  4. 1
    Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler (harudagondi.space) compilers rust theory
    by melion 32 days ago | 2 comments