Not registered as user yet

Name: Hugo Herbelin

POPL 2017 Activities

• Session Chair of Second Afternoon Session (part of TTT 2017)
• Author of Coq's Prolog and application to defining semi-automatic tactics within the TTT-track in TTT 2017
• Show activities from other conferences