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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI