Martin Hofmann. Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, page 29--32. New York, NY, USA, ACM, (2010)
Martin Hofmann. Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, page 29--32. New York, NY, USA, ACM, (2010)