Verifying functional programs at OOPSLA 2025!
PhD student Mihai Nicola and Prof. Eric Koskinen’s work on verification of higher-order functional programs appeared in “OOPSLA 2025”.
PhD student Mihai Nicola and Prof. Eric Koskinen’s work on verification of higher-order functional programs appeared in “OOPSLA 2025”.