Showing results 1 to 3 of 3
| Title | Author(s) | Issue Date | |
|---|---|---|---|
Compositional embeddings of domain-specific languages Journal:Proceedings of the ACM on Programming Languages | 31-Oct-2022 | ||
Advisor(s):Dos Santos Oliveira, BC | 2025 | ||
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing Journal:Proceedings of the ACM on Programming Languages | 8-Oct-2024 |