Hoogle+: Program Synthesis by Type-Guided Abstraction Refinement


Date
Jan 22, 2020
Location
POPL 2020
Avatar
Zheng Guo
PhD student

My research interests include program synthesis, automated reasoning and programming languages.