Author of the publication

muPuppet: A Declarative Subset of the Puppet Configuration Language.

, , , and . ECOOP, volume 74 of LIPIcs, page 12:1-12:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Operational Semantics for a Fragment of the Puppet Configuration Language., , and . CoRR, (2016)Adding Context to Tableaux for DLs., and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)muPuppet: A Declarative Subset of the Puppet Configuration Language., , , and . ECOOP, volume 74 of LIPIcs, page 12:1-12:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Label dependent lambda calculus and gradual typing., , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-29 (2021)Semantics and provenance of configuration programming language μPuppet.. University of Edinburgh, UK, (2019)British Library, EThOS.