CoALP-Ty

2016201720162017

Keyphrases

Publications

volume 258, 2017

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016. CoALP-Ty 258 (2017)

2016

Bashar Igried, Anton Setzer
Trace and Stable Failures Semantics for CSP-Agda. CoALP-Ty (2016)
Yue Li
Structural Resolution with Co-inductive Loop Detection. CoALP-Ty (2016)
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty (2016)
Davide Ancona, Francesco Dagnino, Elena Zucca
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty (2016)