@inproceedings{denney-reftypes,
   author = {Ewen Denney},
   address = {University of Durham},
   booktitle = {{Informal Proceedings of Types Workshop on Subtyping, Inheritance and Modular Development of Proofs}},
   title = {{Refining Refinement Types}},
   year = {1997}
}