PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介

最終更新：

スライド プログラミング言語 型システム 組版 SATySFi
PDF

初出：