Video

Unknown · 0:00

This talk establishes a typed and unified theory ("reflection") proving that translating programs using the delimited-control operators shift and shift0 into continuation-passing style (CPS) preserves and reflects pro...

Read the full summary on tuber