Skip to content

Axiomatizing Subtyped Delimited Continuations.

Marek Materzok

VenueBCSL
Year2013
ProceedingsCSL

Browse the full CSL paper archive.