type theory, safety, lifetimes, plt, syntax, macros
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·11h
ngn/k tutorial
razetime.github.io·2d
Loading...Loading more...
type theory, safety, lifetimes, plt, syntax, macros