Raoul Schorer -

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

Author of MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification within the miniKanren 2020-track