miniKanren 2019 Contributors

Sun 18 - Fri 23 August 2019 Berlin, Germany

co-located with ICFP 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (22)

A Claire AlvisAlvis, Claire Committee Member in Program Committee within the miniKanren-track
Nada AminAmin, Nada Harvard UniversityUnited States Co-chair in Organizing Committee within the miniKanren-track
B Utsav BhattBhatt, Utsav Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
Dmitri BoulytchevBoulytchev, Dmitri Session Chair of Session 4 (part of miniKanren) Certified Semantics for miniKanren Relational Interpreters for Search Problems
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Tutorial on miniKanren First-order miniKanren representation: Great for tooling and search Co-chair in Organizing Committee within the miniKanren-track
F Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA Towards a miniKanren with fair search strategies
G Thomas GilrayGilray, Thomas University of Maryland Session Chair of Session 3 (part of miniKanren) Committee Member in Program Committee within the miniKanren-track
H Kevin HamlenHamlen, Kevin University of Texas at Dallas, USA Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
Jason HemannHemann, Jason Indiana University, USA Committee Member in Program Committee within the miniKanren-track
Eric HolkHolk, Eric Google Committee Member in Program Committee within the miniKanren-track
L Petr LozovLozov, Petr Sain Petersburg State University, SPbGU Relational Interpreters for Search Problems
Kuang-Chen LuLu, Kuang-Chen Indiana University, USATaiwan Towards a miniKanren with fair search strategies
Gilmore R. LundquistLundquist, Gilmore R. Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
M Weixi MaMa, Weixi Towards a miniKanren with fair search strategies
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States First-order miniKanren representation: Great for tooling and search
Evgenii MoiseenkoMoiseenko, Evgenii Constructive Negation for miniKanren
R Gregory RosenblattRosenblatt, Gregory First-order miniKanren representation: Great for tooling and search
Dmitry RozplokhasRozplokhas, Dmitry Certified Semantics for miniKanren
T Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Committee Member in Program Committee within the miniKanren-track
V Ekaterina VerbitskaiaVerbitskaia, Ekaterina Saint Petersburg State University, Russia Relational Interpreters for Search Problems
Andrey VyatkinVyatkin, Andrey Certified Semantics for miniKanren
Z Lisa ZhangZhang, Lisa University of Toronto Session Chair of Session 2 (part of miniKanren) First-order miniKanren representation: Great for tooling and search