Logic
Monday, November 3, 2025
-
Graduate Logic Seminar
Logan Heath - How to Hide Your Isolated Types (And Other Applications of Marker Extensions)
3:30 p.m.
B211 Van Vleck Hall
Logan Heath - How to Hide Your Isolated Types (And Other Applications of Marker Extensions)
3:30 p.m.
B211 Van Vleck Hall