27 citations · 83 across the 17 of their papers we have counts for
1 paper · 1 filter
Danel Ahman
We explore type systems and programming abstractions for the safe use of resources. In particular, we investigate how to use types to modularly specify and check when programs are…