roux-2011-refinement:
  type: article
  title: Refinement Types as Higher-Order Dependency Pairs
  author: Roux, Cody
  date: 2011
  page-range: 299-312
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2011.299
  serial-number:
    doi: 10.4230/LIPICS.RTA.2011.299
  parent:
    type: proceedings
    title: 22nd International Conference on Rewriting Techniques and Applications (RTA'11)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 10