language processor
Tags: logotype 19 programming language 14 type system 10 article 9 illustration 9 SATySFi 9 slides 9 Stadt Tokio 9 typesetting 7 fanart 5 doodle 3 Kyoto 3 impression 2 language processor 2 multi-stage programming 2 Promare 2 Sesterl 2 academic research 1 Bocchi the Rock 1 deep learning 1 Erlang 1 LaTeX 1 memo 1 OCaml 1 Revue Starlight 1 Taro Okamoto 1 TeX 1 Youngsters’ Workshop on Information Science 1On Creating Package Managers
(No translation has been available yet; only Japanese version is provided.)
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):
- Dec 9, 2020. TeX言語で型なしλ計算を評価するVMを書いた話 - Qiita