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

Name: Typed Interaction with Session Types (using Scala and Libretto) by Tomas Mikula
Uploaded: 2022-12-15T00:00:00.000Z
Duration: 1288 s
Description: Video Typed Interaction with Session Types (using Scala and Libretto) by Tomas Mikula