Skip to content

Staging with control: type-safe multi-stage programming with control operators.

Junpei Oishi, Yukiyoshi Kameyama

VenueBGPCE
Year2017
ProceedingsGPCE

Browse the full GPCE paper archive.