Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs

Hugo Miguel Simoes, Pedro Baltazar Vasconcelos, Mario Florido, Steffen Jost, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results