Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: compositional-programming
6 items with this tag.
May 17, 2026
Compositional Embeddings of Domain-Specific Languages
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
compositional-programming
-
May 17, 2026
Compositional Programming
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
compositional-programming
May 17, 2026
Imperative Compositional Programming
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
compositional-programming
adj
May 17, 2026
Shallow EDSLs and Object-Oriented Programming
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
compositional-programming
May 17, 2026
Type-Safe Compilation of Dynamic Inheritance via Merging
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
compositional-programming
May 17, 2026
Typed First-Class Traits
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
compositional-programming