IMDEA Software Institute🔵 #NEWS | IMDEA Software researcher @nikivazou and co-authors of "Refinement types for Haskell" Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton Jones received the test of time award at ICPF.
🔵 #NEWS | IMDEA Software researcher @nikivazou and co-authors of "Refinement types for Haskell" Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton Jones received the test of time award at ICPF.