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

FSCD 2020 presentation is available at this link

Click here to read more about FSCD.