A Substructural Type System for Delimited Continuations

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

Document Versions

A Substructural Type System for Delimited Continuations –Oleg Kiselyov, Chung-chieh Shan