Best paper by junior researchers award at FSCD 2020
Paper Efficient Full Higher-Order Unification that Petar Vukmirović coauthored with Alexander Bentkamp and Visa Nummelin won the Best paper by junior researchers award at FSCD 2020.
07/16/2020 | 3:24 PM