Machine-checked semantic session typing. - Jonas Kastberg Hinrichsen; Daniël Louwrink; Robbert Krebbers; Jesper Bengtson (CPP, 2021)