Bookbot
The book is currently out of stock

Types with potential: polynomial resource bounds via automatic amortized analysis

Parameters

Book purchase

Types with potential: polynomial resource bounds via automatic amortized analysis, Ján Hoffmann

Language
Released
2011
We’ll notify you via email once we track it down.

Payment methods