A Typed Slicing Compilation of the Polymorphic RPC calculus.

Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders

Browse the full PPDP paper archive.