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

All Activities

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