Intrinsically-typed definitional interpreters for linear, session-typed languages.

Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Browse the full CPP paper archive.