A type-theoretic foundation of delimited continuations
scientific article; zbMATH DE number 5703915
scientific article