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


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