POPL 2017
Sun 15 - Sat 21 January 2017
Sun 15 Jan 2017 14:00 - 14:45 at Salle 109, Barre 44-54 - Session III
Linking Types: Secure compilation of multi-language programs (linking-types-scm.pdf)242KiB