2000 character limit reached
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
Published 13 Sep 2017 in cs.LO and cs.PL | (1709.04199v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
