Yue Li – reading seminar: ELPI: fast, embeddable Lambda Prolog inerpreter, 28.03.2018
by Rob Stewart • January 9, 2018 • DSG Research Seminars: Logic and Programming Languages
Yue will run a reading group covering the POPL 2018 paper “Higher-Order Constrained Horn Clauses for Verification”.