
Registered user since Sun 23 Aug 2015
Name: William E. Byrd
Country: United States
Affiliation: University of Alabama at Birmingham, USA
Personal website: http://webyrd.net/
Research interests: Programming languages, relational programming, logic programming, functional programming, program synthesis, sythetic biology
Contributions
PADL 2021 | Semantics-based Synthesis in miniKanren | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile