Not registered as user yet

Name: Avraham Shinnar

Affiliation: IBM Research

ICFP 2017 Activities

• Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
• Show activities from other conferences