Registered user since Wed 19 Jun 2019

Name: Jérémie Koenig

Country: United States

Affiliation: Yale University

Personal website: http://jk.fr.eu.org/

Contributions

DeepSpec 2019Presenter of Refinement-Based Game Semantics for CompCert within the DeepSpec 2019-track
Show activities from other conferences

PLDI 2019-profile
View general profile