language processor

Tags: logotype 17 programming language 11 illustration 9 type system 9 article 8 Stadt Tokio 8 SATySFi 7 slides 7 fanart 5 typesetting 5 doodle 3 impression 2 Kyoto 2 language processor 2 multi-stage programming 2 Promare 2 Sesterl 2 Bocchi the Rock 1 Erlang 1 LaTeX 1 Revue Starlight 1 Taro Okamoto 1 TeX 1 Youngsters’ Workshop on Information Science 1

On 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):