Typed Interaction with Session Types (using Scala and Libretto) by Tomas Mikula