About John Stewart

Interested in functional/logic programming, higher 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. Typeface snob (and designer).

Lists

Timeline

johnstewart has no activity yet