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