TY  - RPRT
TI  - $μ$Puppet: A Declarative Subset of the Puppet Configuration Language
AU  - Weili Fu
AU  - Roly Perera
AU  - Paul Anderson
AU  - James Cheney
PY  - 2017
DO  - 10.4230/lipics.ecoop.2017.12
UR  - https://arxiv.org/abs/1608.04999
ID  - 1608.04999
ER  -