Departmental Seminar by Tanabe
Yudai Tanabe gave a seminar talk at the Department of Mathematical and Computing Science.
Date: Wednesday, August 6, 2024, 15:30-16:30
Place: West 8 W1008
Speaker: Yudai Tanabe
Title: Navigating Safety Across Language Systems: Space-efficient Gradual Typing