A step-indexed model of substructural state (2005)

by Amal Ahmed
Venue:In: Proc. International Conference on Functional Programming. (2005) 78–91
Citations:18 - 5 self