Showing results 1 to 5 of 5
| Title | Author(s) | Issue Date | |
|---|---|---|---|
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ Journal:Proceedings of the ACM on Programming Languages | 9-Jan-2023 | ||
A dependently typed calculus with polymorphic subtyping Journal:Science of Computer Programming | 2021 | ||
A Type-Directed Operational Semantics For a Calculus with a Merge Operator Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations Journal:Proceedings of the ACM on Programming Languages | 9-Jan-2023 | ||
Type-Directed Operational Semantics for Gradual Typing Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2021 |