TY  - RPRT
TI  - Higher-Order Constrained Horn Clauses and Refinement Types
AU  - Toby Cathcart Burn
AU  - C. -H. Luke Ong
AU  - Steven J. Ramsay
PY  - 2017
UR  - https://arxiv.org/abs/1705.06216
ID  - 1705.06216
ER  -