Slides used for my research talk. Our original paper is available from the following page (full open access):
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming | SpringerLink
https://link.springer.com/chapter/10.1007/978-981-97-2300-3_13
We propose MetaFM, a novel ML-style module system that enables users to decompose multi-stage programs (i.e., programs written in a typed multi-stage programming language) into loosely coupled components in a manner natural with respect to type abstraction. The...