Photos from miniKanren workshop (ICFP 2019)
39 views
Skip to first unread message
Dmitrii Kosarev
Aug 29, 2019, 10:59:08 AM8/29/19
to minikanren
Hey, folks
ICFP is finished and we wanted to write some advertising blog entry about our folks travelling to Berlin... but it seems that nobody took any photos from workshop. If you do, can you share something? Ideally photos taken during our talks: `Relational Interpreters for Search Problems`, `Certified Semantics for miniKanren`, and `Constructive Negation for miniKanren`. Other photos are welcome too.
Reply all
Reply to author
Forward
0 new messages