Skip to content

Equational axiomatization of call-by-name delimited control.

Yukiyoshi Kameyama, Asami Tanaka

VenueCPPDP
Year2010
ProceedingsPPDP

Browse the full PPDP paper archive.