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
ISBN (Electronic)2075-2180
Publication statusPublished - 13 Sep 2017

Cite this