on Abstraction Implementation Related Work and Conclusion Object representatives: a uniform ion for pointer information Eric Bodden, Patrick Lam and Laurie Hendren September 2008 ...
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...