miniKanren 2020 Contributors

Write a Blog >>

Sun 23 - Fri 28 August 2020

co-located with ICFP 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (28)

A Nada AminAmin, Nada Harvard UniversityUnited States Session Chair of Afternoon Session (part of miniKanren)
B Daniil BerezunBerezun, Daniil JetBrains, Russia An Empirical Study of Partial Deduction for miniKanren
Dmitri BoulytchevBoulytchev, Dmitri St. Petersburg State University, St. Petersburg, Russia Session Chair of Morning Keynote (part of miniKanren) Certified Semantics for Disequality An Empirical Study of Partial Deduction for miniKanren Relational Synthesis for Pattern Matching On Fair Relational Conjunction PC Chair in Program Committee within the miniKanren-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States mediKanren: A System for Bio-medical Reasoning dxo: A System for Relational Algebra and Differentiation
C Artem ChirkovChirkov, Artem University of Toronto Mississauga A Relational Interpreter for Synthesizing JavaScript
F Adam FoltzerFoltzer, Adam Fastly Committee Member in Program Committee within the miniKanren-track
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA Some Novel miniKanren Synthesis Tasks λKanren: Higher-order Logic Programming with Shallow Embedding
H Jason HemannHemann, Jason Northeastern University, United StatesUnited States Session Chair of Afternoon Keynote (part of miniKanren) Some Novel miniKanren Synthesis Tasks General Chair in Program Committee within the miniKanren-track
K Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Committee Member in Program Committee within the miniKanren-track
Dmitrii KosarevKosarev, Dmitrii JetBrains Research, Saint Petersburg State UniversityRussia Relational Synthesis for Pattern Matching
L Petr LozovLozov, Petr Sain Petersburg State University, SPbGU On Fair Relational Conjunction
Kuang-Chen LuLu, Kuang-Chen Indiana University BloomingtonUnited States λKanren: Higher-order Logic Programming with Shallow Embedding
M Weixi MaMa, Weixi Indiana University Session Chair of Afternoon Session (part of miniKanren) λKanren: Higher-order Logic Programming with Shallow Embedding
Marco MaggesiMaggesi, Marco Università di Firenze Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
Jan MidtgaardMidtgaard, Jan University of Southern DenmarkDenmark Committee Member in Program Committee within the miniKanren-track
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States The Pill is in The Proof: Saving Lives with Logic mediKanren: A System for Bio-medical Reasoning A Relational Interpreter for Synthesizing JavaScript
N Joseph P. NearNear, Joseph P. University of Vermont Session Chair of Morning Session (part of miniKanren) Committee Member in Program Committee within the miniKanren-track
Massimo NocentiniNocentini, Massimo Università di Firenze Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
P Michael PattonPatton, Michael University of Alabama at Birmingham mediKanren: A System for Bio-medical Reasoning
R Gregory RosenblattRosenblatt, Gregory University of Alabama at Birmingham, USACanada Session Chair of Morning Session (part of miniKanren) mediKanren: A System for Bio-medical Reasoning A Relational Interpreter for Synthesizing JavaScript Committee Member in Program Committee within the miniKanren-track
Dmitry RozplokhasRozplokhas, Dmitry Higher School of Economics Certified Semantics for Disequality
S Raoul SchorerSchorer, Raoul Geneva University HospitalsSwitzerland MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Committee Member in Program Committee within the miniKanren-track
Julie SteeleSteele, Julie Georgetown Day SchoolUnited States dxo: A System for Relational Algebra and Differentiation
T Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Committee Member in Program Committee within the miniKanren-track
V Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrainsRussia An Empirical Study of Partial Deduction for miniKanren
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Executing Declarative Language Definitions
Z Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada A Relational Interpreter for Synthesizing JavaScript