Biorthogonality, step-indexing and compiler correctness, in (2009)

by N Benton, C K Hur
Venue:Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, ACM