Showing results 1 to 8 of 8
| Title | Author(s) | Issue Date | |
|---|---|---|---|
A Type-Directed Operational Semantics For a Calculus with a Merge Operator Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
Computing the Pattern Waiting Time: A Revisit of the Intuitive Approach Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2016 | ||
FHJ: A Formal Model for Hierarchical Dispatching and Overriding Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 | ||
Row and Bounded Polymorphism via Disjoint Polymorphism Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
The Duality of Subtyping Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
The Essence of Nested Composition Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 | ||
Type-Directed Operational Semantics for Gradual Typing Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2021 | ||
Typed First-Class Traits Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 |