@inproceedings{DBLP:conf/ppdp/Ramsay14,
  title = "Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes",
  author = "Steven J. Ramsay",
  year = "2014",
  booktitle = "Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014",
  pages = "175--186",
}