TeX
Tags: logotype 20 programming language 16 type system 12 slides 10 article 9 illustration 9 SATySFi 9 Stadt Tokio 9 typesetting 7 fanart 5 multi-stage programming 4 deep learning 3 doodle 3 Kyoto 3 academic research 2 impression 2 language processor 2 OCaml 2 Promare 2 Sesterl 2 Bocchi the Rock 1 Erlang 1 LaTeX 1 memo 1 poster 1 Revue Starlight 1 Taro Okamoto 1 TeX 1 Youngsters’ Workshop on Information Science 1Implementing 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):
- Dec 9, 2020. TeX言語で型なしλ計算を評価するVMを書いた話 - Qiita