conf.researchr.org / Gregory Rosenblatt
Registered user since Thu 4 May 2017
Name:Gregory Rosenblatt
Country:Canada
Affiliation:University of Alabama at Birmingham, USA
Personal website: http://gregrosenblatt.com
Research interests:Programming Languages, Computational Logic
Contributions
2022
2021
2020
miniKanren
- Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track
- Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track
- Session Chair of Morning Session (part of miniKanren 2020)
- Committee Member in Program Committee within the miniKanren 2020-track