Gregory Rosenblatt

Registered user since Thu 4 May 2017

Name: Gregory Rosenblatt

Country: Canada

Affiliation: n.n., n.n.

Personal website: http://gregrosenblatt.com

Research interests: Programming Languages, Computational Logic

Contributions

ICFP 2017Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track
POPL 2018Author of One Weird Trick: Relational Interpreters for Program Synthesis. within the TutorialFest-track