Hannes Saffrich | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Peter Thiemann
15 publications

research

∙ 10/31/2022

Polymorphic Typestate for Session Types

Session types provide a principled approach to typed communication proto...

0 Hannes Saffrich, et al. ∙

research

∙ 10/16/2020

Relating Functional and Imperative Session Types

Imperative session types provide an imperative interface to session-type...

0 Hannes Saffrich, et al. ∙