gfnweb
Space on Paper: The Basics of the Typesetting Algorithm
A Research Talk at FLOPS 2024: An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programs
Invited Talk: Creating Programming Languages of Real-World Use on a Personal Scale
A Report on the Development Progress of SATySFi v0.1.0
Sesterl: An ML-like Statically-Typed Erlang
The Basics of Type Systems for Multi-Stage Programming
PPL 2022 Invited Talk: Introduction to SATySFi, a Statically-Typed Functional Typesetting System
Polymorphic Record Calculi and Their Type Inference