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

最終更新:

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