Session Types Go Dynamic or How to Verify Your Python Conversations

Rumyana Neykova

This paper presents the first implementation of session types in a dynamically-typed language - Python. Communication safety of the whole system is guaranteed at runtime by monitor…