Raoul Schorer - ICFP 2020

Write a Blog >>

Thu 20 - Fri 28 August 2020

Registered user since Thu 2 Jul 2020

Name:Raoul Schorer

Country:Switzerland

Affiliation:Geneva University Hospitals

Research interests:logic programming, statistics, array programming

Contributions

2020

miniKanren

MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification

Show activities from other conferences

ICFP 2020-profile
View general profile