Computation by interaction for space-bounded functional programming

When programming with sublinear space constraints one often needs to use special implementation techniques even for simple tasks, such as function composition. In this paper, we study how such implementation techniques can be supported in a functional programming language. Our approach is based on m...

Full description

Bibliographic Details

Published in:	Information and computation Vol. 248; pp. 150 - 194
Main Authors:	Dal Lago, Ugo, Schöpp, Ulrich
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.06.2016 Elsevier
Subjects:	Computer Science Functional programming Geometry of interaction Implicit computational complexity Logarithmic space Logic in Computer Science Type system Type system Logarithmic space Geometry of interaction Functional programming Implicit computational complexity
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!