CoALP-Ty'16

TL;DR

This collection of extended abstracts from the CoALP-Ty'16 workshop presents current research on coalgebraic semantics, logic programming, and type inference in functional languages, highlighting ongoing developments in these theoretical and practical areas.

Contribution

It compiles recent research on coalgebraic logic, Horn clause programming, and type inference, emphasizing new semantic frameworks and language applications.

Findings

Exploration of Lawvere theories and coalgebra in logic and functional programming

Advances in Horn clause logic for type inference in functional languages

Ongoing research with potential for formal publication and further development

Abstract

This volume constitutes the pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty'16), held on 28--29 November 2016 in Edinburgh as a mark of the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by E. Komendantskaya and J. Power. This volume consists of extended abstracts describing current research in the following areas: Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond After discussion at the workshop authors of the extended abstracts will be invited to submit a full paper to go through a second round of refereeing and selection for the formal proceedings.