DMCA

Efficient type-checking for amortised heap-space analysis

Cached

Download Links

by Martin Hofmann , Dulma Rodriguez
Venue:in CSL, ser. LNCS
Citations:8 - 2 self