Be a Documentation Geek

Language Design for Unit Testing

Implementing a Virtual Machine in TeX that Runs Untyped Lambda Terms

This article introduces tex_of_ocaml¹, 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

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:

• Dec 30, 2021. SATySFi Wiki (written in Japanese)

Sesterl: An ML-like Statically-Typed Erlang

The Basics of Type Systems for Multi-Stage Programming

PPL 2022 Invited Talk: Introduction to SATySFi, a Statically-Typed Functional Typesetting System

Polymorphic Record Calculi and Their Type Inference

Preliminary Remarks