Extended Call-by-Push-Value: Reasoning About Effectful Programs

link.springer.com

1 pointdanny001 comment

A Springer article that you can read for free?? But we can probably still rely on Elsevier.