-
TEASE-LP Session 2 Full
Panel: Discussion of the future development of…
From Henning Basold
-
TEASE-LP Session 2 Full
Vivek Nigam: A Proof Theory for Distributed…
From Henning Basold
-
TEASE-LP Session 2 Full
Olivier Hermant and James Lipton: Eliminating…
From Henning Basold
-
TEASE-LP Session 2 Full
Uli Sattler: Description Logics and Ontology…
From Henning Basold
-
Live session 1, full recording
Marco Maggesi and Enrico Tassi: Private types in…
From Henning Basold
-
Live session 1, full recording
Discussion Session, 28 May 2020
From Henning Basold
-
Live session 1, full recording
Dmitry Rozplokhas and Dmitry Boulytchev:…
From Henning Basold
-
Live session 1, full recording
Davide Ancona, Luca Franceschini, Angelo Ferrando…
From Henning Basold
-
Live session 1, full recording
Dale Miller: Structural Proof Theory and Logic…
From Henning Basold
-
Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev
Relational Synthesis for Pattern Matching
From Henning Basold
0 likes 18 plays -
Lightning talk by Robert Zinkov, Michael Ballantyne, Gregory L. Rosenblatt and William E. Byrd
Accelerating Program Synthesis in miniKanren
From Henning Basold
0 likes 55 plays -
Lightning talk by Maria Kuklina and Ekaterina Verbitskaia
Supercompilation Strategies for miniKanren
From Henning Basold
0 likes 16 plays -
Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun
Binding-Time Analysis for miniKanren
From Henning Basold
0 likes 27 plays -
Lightning talk by João Barbosa, Mário Florido and Vítor Santos Costa
Sound Type Assignment for Logic Programming
From Henning Basold
0 likes 26 plays
Search for ""