publications:
- title: "Exploring the Design Space of Higher-Order Casts"
  author:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Ronald Garcia"
    link: "http://"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_2"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/SiekGT09"
  cites: 0
  citedby: 0
  pages: "17-31"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "SiekGT09"