Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·2h
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·9h
Loading...Loading more...