@inproceedings{ziarek:partial:icfp:2009,
  author	= {Ziarek, Lukasz and Sivaramakrishnan, KC and Jagannathan, Suresh},
  title		= {Partial memoization of concurrency and communication},
  booktitle	= {ICFP~'09: Proc. 14th ACM SIGPLAN international conference on Functional programming},
  year		= {2009},
  month		= {aug},
  pages		= {161--172},
  urlpage	= {http://doi.acm.org/10.1145/1596550.1596575},
  pdf		= {http://www.cs.purdue.edu/homes/lziarek/memoproof.pdf},
}