Project-Team Gallium Programming languages, types, compilation and proofs

by Paris Rocquencourt , Compcert C