miniKanren 2023 Contributors - miniKanren 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

co-located with ICFP 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (18)

A Nada AminAmin, Nada Harvard UniversityUnited States Co-chair in Program Committee within the miniKanren-track
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Committee Member in Program Committee within the miniKanren-track
B Ajay BansalBansal, Ajay Stable Model Semantics Extension of miniKanren
Daniil BerezunBerezun, Daniil JetBrains ResearchNetherlands Semi-Automated Direction-Driven Functional Conversion
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia klogic: miniKanren in Kotlin
Oliver BračevacBračevac, Oliver Galois, Inc.United States Committee Member in Program Committee within the miniKanren-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Session Chair of miniKanren: Discussion on the Future of miniKanren (part of miniKanren) Session Chair of miniKanren: Tutorial (part of miniKanren) Session Chair of miniKanren: Papers (Session 2 out of 2) (part of miniKanren) Session Chair of miniKanren: Papers (Session 1 out of 2) (part of miniKanren) Co-chair in Program Committee within the miniKanren-track
D Evan DonahueDonahue, Evan University of TokyoJapan Goals as Constraints: Writing miniKanren Constraints in miniKanren Committee Member in Program Committee within the miniKanren-track
E Igor EngelEngel, Igor Semi-Automated Direction-Driven Functional Conversion
F Denis FokinFokin, Denis klogic: miniKanren in Kotlin
G Thomas GilrayGilray, Thomas University of Alabama at BirminghamUnited States Committee Member in Program Committee within the miniKanren-track
Xiangyu GuoGuo, Xiangyu Arizona State University Stable Model Semantics Extension of miniKanren
I Dmitry IvanovIvanov, Dmitry Huawei klogic: miniKanren in Kotlin
K Yury KamenevKamenev, Yury klogic: miniKanren in Kotlin
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Committee Member in Program Committee within the miniKanren-track
Dmitrii KosarevKosarev, Dmitrii Saint Petersburg State University, RussiaRussia klogic: miniKanren in Kotlin
S James SmithSmith, James Stable Model Semantics Extension of miniKanren
V Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrainsSerbia Semi-Automated Direction-Driven Functional Conversion Committee Member in Program Committee within the miniKanren-track