miniKanren 2024 Contributors - miniKanren 2024

Fri 6 Sep 2024 Milan, Italy

co-located with ICFP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (18)

B Michael BallantyneBallantyne, Michael Northeastern UniversityUnited States Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility
Ajay BansalBansal, Ajay Arizona State University To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision Improving stableKanren’s Backward Compatibility
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia A Relational Solver for Constraint-based Type Inference Committee Member in Program Committee within the miniKanren-track
D Eridan DomoratskiyDomoratskiy, Eridan ITMO University A Relational Solver for Constraint-based Type Inference
Evan DonahueDonahue, Evan University of TokyoJapan Relational Reactive Programming: miniKanren for the Web
G Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the miniKanren-track
Xiangyu GuoGuo, Xiangyu Arizona State University To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision Improving stableKanren’s Backward Compatibility
H Jason HemannHemann, Jason Seton Hall UniversityUnited States Six Ways to Implement Divisibility by Three in miniKanren Committee Member in Program Committee within the miniKanren-track
K Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
M Weixi MaMa, Weixi MetaUnited States Committee Member in Program Committee within the miniKanren-track
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States High-Performance Logic Programming on Servers, Clusters, and GPUs
N Joseph P. NearNear, Joseph P. University of VermontUnited States Co-chair in Program Committee within the miniKanren-track
Massimo NocentiniNocentini, Massimo Committee Member in Program Committee within the miniKanren-track
P Brysen PfingstenPfingsten, Brysen Seton Hall University Six Ways to Implement Divisibility by Three in miniKanren
S Brett SchreiberSchreiber, Brett None Six Ways to Implement Divisibility by Three in miniKanren
Artem StarikovStarikov, Artem Innopolis University typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
V Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrains Research; Constructor University BremenNetherlands Co-chair in Program Committee within the miniKanren-track
Z Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada Committee Member in Program Committee within the miniKanren-track