Weili Fu

According to our database, Weili Fu authored at least 6 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Artifact for Label Dependent Lambda Calculus and Gradual Typing.

Fabian Krause, Weili Fu, Peter Thiemann

Dataset, September, 2021

Label dependent lambda calculus and gradual typing.

Weili Fu, Fabian Krause, Peter Thiemann

Proc. ACM Program. Lang., 2021

2019

Semantics and provenance of configuration programming language μPuppet.

Weili Fu

PhD thesis, 2019

2017

muPuppet: A Declarative Subset of the Puppet Configuration Language.

Weili Fu, Roly Perera, Paul Anderson, James Cheney

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

An Operational Semantics for a Fragment of the Puppet Configuration Language.

Weili Fu, James Cheney, Paul Anderson

CoRR, 2016

2012

Adding Context to Tableaux for DLs.

Weili Fu, Rafael Peñaloza

Proceedings of the 2012 International Workshop on Description Logics, 2012