A condensed version of my masters thesis has been accepted in the POPL’21 Student Research competition!