TY  - RPRT
TI  - Forward Build Systems, Formally
AU  - Sarah Spall
AU  - Neil Mitchell
AU  - Sam Tobin-Hochstadt
PY  - 2022
DO  - 10.1145/3497775.3503687
UR  - https://arxiv.org/abs/2202.05328
ID  - 2202.05328
ER  -