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

(last modified: )

slides type system typesetting SATySFi