About John Stewart

Interested in functional/logic programming, homotopy type theory, computer science, programming language theory, and software architecture. Computer scientist building the Anima next-gen programming language; multimodal higher dependent type theory, algebraic effects, no phase distinction, and self-hosted, versionable syntax.

Lists

Timeline

johnstewart has no activity yet