Functional Programming in Sublinear Space

DOI10.1007/978-3-642-11957-6_12zbMath1260.68072OpenAlexW1529521296MaRDI QIDQ3558224

Ulrich Schöpp, Ugo Dal Lago

Publication date: 4 May 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_12

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (3)

Computation by interaction for space-bounded functional programming ⋮ Unary Resolution: Characterizing Ptime ⋮ Implicit computation complexity in higher-order programming languages

This page was built for publication: Functional Programming in Sublinear Space