dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

DBLP BibTeX Record 'conf/icfp/LiuCH09'

@inproceedings{DBLP:conf/icfp/LiuCH09,
  author    = {Hai Liu and
               Eric Cheng and
               Paul Hudak},
  title     = {Causal commutative arrows and their optimization},
  booktitle = {ICFP},
  year      = {2009},
  pages     = {35-46},
  ee        = {http://doi.acm.org/10.1145/1596550.1596559},
  crossref  = {DBLP:conf/icfp/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th ACM SIGPLAN international conference
               on Functional programming, ICFP 2009, Edinburgh, Scotland,
               UK, August 31 - September 2, 2009},
  booktitle = {ICFP},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Last update 2010-10-08 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page