2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.PL2026
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…
cs.SE2024★ 2 cited
Typing Requirement Model as Coroutines
Qiqi Gu, Wei Ke
Model-Driven Engineering (MDE) is a technique that aims to boost productivity in software development and ensure the safety of critical systems. Central to MDE is the refinement of…
cs.PL2023★ 1 cited
Typing Composable Coroutines
Qiqi Gu, Wei Ke
Coroutine, as a powerful programming construct, is widely used in asynchronous applications to replace thread-based programming or the callback hell. Using coroutines makes code mo…