Registered user since Thu 2 Jul 2020
Name:Raoul Schorer
Country:Switzerland
Affiliation:Geneva University Hospitals
Research interests:logic programming, statistics, array programming
Contributions
| miniKanren 2020 | 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
View general profile