A Verified Cost Model for Call-By-Push-Value.

Zhuo Zoey Chen, Johannes man Pohjola, Christine Rizkallah

Browse the full ITP paper archive.