1 story from 1 submitter
  1. 4
    A Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs ☶ pdf compilers compsci gallais.github.io
    lojikil avatar via lojikil 3 years ago | cached | no comments