| No. |
Title |
Author |
Year |
| 1 |
Dependent Merges and First-Class Environments |
Tan, Jinhao et al. |
2023 |
| 2 |
Dependent Merges and First-Class Environments (Artifact) |
Tan, Jinhao et al. |
2023 |
| 3 |
Direct Foundations for Compositional Programming |
Fan, Andong et al. |
2022 |
| 4 |
Direct Foundations for Compositional Programming (Artifact) |
Fan, Andong et al. |
2022 |
| 5 |
Elementary Type Inference |
Zhao, Jinxu et al. |
2022 |
| 6 |
Elementary Type Inference (Artifact) |
Zhao, Jinxu et al. |
2022 |
| 7 |
Union Types with Disjoint Switches |
Rehman, Baber et al. |
2022 |
| 8 |
Union Types with Disjoint Switches (Artifact) |
Rehman, Baber et al. |
2022 |
| 9 |
Compositional Programming (Artifact) |
Zhang, Weixin et al. |
2021 |
| 10 |
Type-Directed Operational Semantics for Gradual Typing |
Ye, Wenjia et al. |
2021 |
| 11 |
Type-Directed Operational Semantics for Gradual Typing (Artifact) |
Ye, Wenjia et al. |
2021 |
| 12 |
A Type-Directed Operational Semantics For a Calculus with a Merge Operator |
Huang, Xuejing et al. |
2020 |
| 13 |
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact) |
Huang, Xuejing et al. |
2020 |
| 14 |
Row and Bounded Polymorphism via Disjoint Polymorphism |
Xie, Ningning et al. |
2020 |
| 15 |
The Duality of Subtyping |
Oliveira, Bruno C. d. S. et al. |
2020 |
| 16 |
The Duality of Subtyping (Artifact) |
Oliveira, Bruno C. d. S. et al. |
2020 |
| 17 |
FHJ: A Formal Model for Hierarchical Dispatching and Overriding |
Wang, Yanlin et al. |
2018 |
| 18 |
The Essence of Nested Composition |
Bi, Xuan et al. |
2018 |
| 19 |
The Essence of Nested Composition (Artifact) |
Bi, Xuan et al. |
2018 |
| 20 |
Typed First-Class Traits |
Bi, Xuan et al. |
2018 |
| 21 |
Typed First-Class Traits (Artifact) |
Bi, Xuan et al. |
2018 |
| 22 |
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse |
Zhang, Weixin et al. |
2017 |
| 23 |
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact) |
Zhang, Weixin et al. |
2017 |
