Tags: article doodle erlang fanart illustration impression language-processor latex lettering logotype multi-stage-programming promare record-calculus revue-starlight satysfi sesterl slides stadt-tokio tex type-inference type-system typesetting

Implementing a Virtual Machine in TeX that Runs Untyped Lambda Terms

This article introduces tex_of_ocaml1, a half-joking OSS I developed. Readers are supposed to be somewhat familiar with untyped lambda calculi.

First appearance (written in Japanese):