Linearly-Used State in Models of Call-by-Value.

Rasmus Ejlers Mgelberg, Sam Staton

Browse the full CALCO paper archive.