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

September 13, 2017 · The Ethereal · 🏛 EPTCS 258, 2017

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Ekaterina Komendantskaya, John Power arXiv ID 1709.04199 Category cs.LO: Logic in CS Cross-listed cs.PL Citations 0 Venue EPTCS 258, 2017 Last Checked 5 months ago
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS