A Substructural Type System for Delimited Continuations

by Oleg Kiselyov , Chung-chieh Shan
Citations:2 - 0 self