Media Summary: The Ultimate Conditional Syntax (Video, OOPSLA 2024) Luyu Cheng and Lionel Parreaux (Hong Kong University of Science and ... Type Inference Logics (Video, OOPSLA 2024) Denis Carnier, François Pottier, and Steven Keuchel (KU Leuven, Belgium; Inria, ...
Oopsla24 Unisparse An Intermediate Language - Detailed Analysis & Overview
The Ultimate Conditional Syntax (Video, OOPSLA 2024) Luyu Cheng and Lionel Parreaux (Hong Kong University of Science and ... Type Inference Logics (Video, OOPSLA 2024) Denis Carnier, François Pottier, and Steven Keuchel (KU Leuven, Belgium; Inria, ...