Resource typing in Guru

Aaron Stump, Evan Austin. Resource typing in Guru. In Cormac Flanagan, Jean-Christophe FilliĆ¢tre, editors, Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. pages 27-38, ACM, 2010. [doi]

Abstract

Abstract is missing.