Jason Hickey, Aleksey Nogin, Adam Granicz. Compiler implementation in a formal logical framework. In Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.