Showing results 1 to 4 of 4
| Title | Author(s) | Issue Date | |
|---|---|---|---|
| 2024 | |||
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing Journal:Proceedings of the ACM on Programming Languages | 8-Oct-2024 | ||
Merging Gradual Typing Journal:Proceedings of the ACM on Programming Languages | 8-Oct-2024 | ||
Type-directed operational semantics for gradual typing Journal:Journal of Functional Programming | 26-Sep-2024 |