Call-By-Push-Value from a Linear Logic Point of View.

Thomas Ehrhard

Browse the full ESOP paper archive.