No. Title Author Year
1 Compositional Programming (Artifact) Zhang, Weixin et al. 2021
2 Type-Directed Operational Semantics for Gradual Typing Ye, Wenjia et al. 2021
3 Type-Directed Operational Semantics for Gradual Typing (Artifact) Ye, Wenjia et al. 2021
4 A Type-Directed Operational Semantics For a Calculus with a Merge Operator Huang, Xuejing et al. 2020
5 A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact) Huang, Xuejing et al. 2020
6 Row and Bounded Polymorphism via Disjoint Polymorphism Xie, Ningning et al. 2020
7 The Duality of Subtyping Oliveira, Bruno C. d. S. et al. 2020
8 The Duality of Subtyping (Artifact) Oliveira, Bruno C. d. S. et al. 2020
9 FHJ: A Formal Model for Hierarchical Dispatching and Overriding Wang, Yanlin et al. 2018
10 The Essence of Nested Composition Bi, Xuan et al. 2018
11 The Essence of Nested Composition (Artifact) Bi, Xuan et al. 2018
12 Typed First-Class Traits Bi, Xuan et al. 2018
13 Typed First-Class Traits (Artifact) Bi, Xuan et al. 2018
14 EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse Zhang, Weixin et al. 2017
15 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: 15


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