Refinement Types and Higher-Order Constrained Horn Clauses: Extended Abstract

Luke Ong, Steven Ramsay

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Original languageEnglish
Title of host publicationEPTCS 258 Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
PublisherOpen Publishing Association
Volume258
ISBN (Electronic)2075-2180
DOIs
Publication statusPublished - 13 Sep 2017

Cite this