@InProceedings{Matthews:DAMP2010-53,
  author =       "David C. J. Matthews and Makarius Wenzel",
  title =        "Efficient Parallel Programming in {Poly/ML} and
                 {Isabelle/ML}",
  booktitle =    "Workshop on Declarative Aspects of Multicore
                 Programming (DAMP 2010)",
  year =         "2010",
  pages =        "53--62",
  address =      "Madrid, Spain",
  ee =           "http://doi.acm.org/10.1145/1708046.1708058",
  URL =          "http://www4.in.tum.de/~wenzelm/papers/parallel-ml.pdf",
  publisher =    "ACM",
}