Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages

DOI10.1007/978-3-662-46669-8_32zbMath1335.68035OpenAlexW2294370068MaRDI QIDQ2802465

Kevin Hammond, Mário Florido, Steffen Jost, Pedro Vasconcelos

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/8612

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Type-based cost analysis for lazy functional languages ⋮ Exponential automatic amortized resource analysis ⋮ Unnamed Item ⋮ Two decades of automatic amortized resource analysis

This page was built for publication: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages