Weili Fu

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 3

Top Topics

Lambda Calculus

Data Manipulation Language

Declarative Language

Operational Semantics

Top Venues

Proc. ACM Program. Lang.

Description Logics

Publications

Weili Fu, Fabian Krause, Peter Thiemann
Label dependent lambda calculus and gradual typing. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Weili Fu, Roly Perera, Paul Anderson, James Cheney
muPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP (2017)
Weili Fu, James Cheney, Paul Anderson
An Operational Semantics for a Fragment of the Puppet Configuration Language. CoRR (2016)
Weili Fu, Rafael Peñaloza
Adding Context to Tableaux for DLs. Description Logics (2012)