George Stelle, Darko Stefanovic. Verifiably Lazy: Verified Compilation of Call-by-Need. In Matteo Cimini, Jay McCarthy, editors, Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018. pages 49-58, ACM, 2018. [doi]
Abstract is missing.