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

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

Original language	English
Title of host publication	EPTCS 258 Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
Publisher	Open Publishing Association
Volume	258
ISBN (Electronic)	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.258
Publication status	Published - 13 Sept 2017

Access to Document

@inproceedings{b71db36928924b0b9577c17bcb546708,

title = "Refinement Types and Higher-Order Constrained Horn Clauses: Extended Abstract",

author = "Luke Ong and Steven Ramsay",

year = "2017",

month = sep,

day = "13",

doi = "10.4204/EPTCS.258",

language = "English",

volume = "258",

booktitle = "EPTCS 258 Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types",

publisher = "Open Publishing Association",

}

TY - GEN

T1 - Refinement Types and Higher-Order Constrained Horn Clauses

T2 - Extended Abstract

AU - Ong, Luke

AU - Ramsay, Steven

PY - 2017/9/13

Y1 - 2017/9/13

U2 - 10.4204/EPTCS.258

DO - 10.4204/EPTCS.258

M3 - Conference Contribution (Conference Proceeding)

VL - 258

BT - EPTCS 258 Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types

PB - Open Publishing Association

ER -