Relational semantics for effect-based program transformations with dynamic allocation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann. Relational semantics for effect-based program transformations with dynamic allocation. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 87-96, ACM, 2007. [doi]

This author has not been identified. Look up 'Nick Benton' in GoogleThis author has not been identified. Look up 'Andrew Kennedy' in GoogleThis author has not been identified. Look up 'Lennart Beringer' in GoogleThis author has not been identified. Look up 'Martin Hofmann' in Google

runs on WebDSL