Machine-checked semantic session typing.

Jonas Kastberg Hinrichsen, Danil Louwrink, Robbert Krebbers, Jesper Bengtson

Browse the full CPP paper archive.