1 repository on SrcLog
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.