Bookbot

Types with potential: polynomial resource bounds via automatic amortized analysis

Book purchase

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

Language
Released
2011
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating