Pascal Fradet Syntactic Detection of Single-Threading Using Continuations. 241-258 1991 conf/fpca/1991 FPCA db/conf/fpca/fpca1991.html#Fradet91 https://doi.org/10.1007/3540543961_12