Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types

TL;DR

This workshop report summarizes discussions and developments in coalgebra, Horn clause logic programming, and types, highlighting recent advances and ongoing research in these areas.

Contribution

It presents the outcomes of the first workshop on coalgebra, Horn clause logic programming, and types, emphasizing progress in coalgebraic logic programming for type inference.

Findings

End of EPSRC grant on coalgebraic logic programming for type inference

New research directions in coalgebra and Horn clause logic

Community interest in integrating types with logic programming

Abstract

The Workshop on Coalgebra, Horn Clause Logic Programming and Types was held on the 28-29 November 2016 in Edinburgh. The workshop marked the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by E. Komendantskaya, Heriot-Watt University and J. Power, University of Bath, UK.