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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and computation Jg. 248; S. 150 - 194
Hauptverfasser:	Dal Lago, Ugo, Schöpp, Ulrich
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.06.2016 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!