Artifact for the paper 'TypCC: Semantic Type Checking for Low-Level Code'

Creators

• Simonnet, Julien (Editor)^{1, 2}
• Lemerre, Matthieu (Editor)^{1, 2}
• Sighireanu, Mihaela (Editor)^{2, 3, 4}