@Inproceedings{EPTCS66.4,
  author    = {Orchard, Dominic and Mycroft, Alan},
  year      = {2011},
  title     = {Efficient and Correct Stencil Computation via Pattern Matching and Static Typing},
  editor    = {Danvy, Olivier and Shan, Chung-chieh},
  booktitle = {{\rm Proceedings IFIP Working Conference on}
               Domain-Specific Languages,
               {\rm Bordeaux, France, 6-8th September 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {66},
  publisher = {Open Publishing Association},
  pages     = {68-92},
  doi       = {10.4204/EPTCS.66.4},
}