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

Be a Documentation Geek

(No translation has been available yet; only Japanese version is provided.)

Language Design for Unit Testing

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

A Type System of Labeled Optional Parameters for SATySFi v0.1.0

I am in the process of changing the language design for SATySFi v0.1.0 about optional parameters. It will be a breaking change (i.e. not backward compatible with SATySFi v0.0.x), and I will introduce it here.

First appearance:

Preliminary Remarks

(No translation has been provided yet; only Japanese version is available now.)