Kalas: A Verified, End-To-End Compiler for a Choreographic Language.

Johannes man Pohjola, Alejandro Gmez-Londoo, James Shaker, Michael Norrish

Browse the full ITP paper archive.