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

(last modified: )

slides programming language type system typesetting SATySFi
PDF

(Not translated to English)

First appearance: