Relational semantics for effect-based program transformations with dynamic allocation

Public

Published in ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming • Jul 14, 2007

Authors:

Nick Benton

,

A. Kennedy

,

Lennart Beringer

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!