Seminar: Paolo di Giamberardino "Soft Session Types"