Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types
arxiv.orgยท3d
Making a Language
thunderseethe.devยท9h
Calculus Made Easy
calculusmadeeasy.orgยท17h
Gรถdelโs Theorems (and logicisms) revisited
logicmatters.netยท2d
Alexis Kingโs Blog
lexi-lambda.github.ioยท2d
Subterms Modulo Theories I
philipzucker.comยท3d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.comยท20h
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.comยท1d
Loading...Loading more...