Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson. Verified programming in Guru. In Thorsten Altenkirch, Todd D. Millstein, editors, Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. pages 49-58, ACM, 2009. [doi]
Abstract is missing.