I will give a talk at Devoxx Greece 2024 about “Enhancing the Reliability of Type Checkers in Compilers”