A Flow Extension to Coroutine Types for Deadlock Detection in Go

Qiqi Jason Gu, Lixue Liu, Wei Ke

Coroutines, as an abstract programming construct, are a generalization of functions that can suspend execution part- way for later resumption. Coroutine Types are behavioral types…