Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order.

Dylan McDermott, Alan Mycroft

Browse the full ESOP paper archive.