gfnweb
Invited Talk: Creating Programming Languages of Real-World Use on a Personal Scale
A Report on the Development Progress of SATySFi v0.1.0
PPL 2022 Invited Talk: Introduction to SATySFi, a Statically-Typed Functional Typesetting System