The Space of Interaction

The space complexity of functional programs is not well understood. In particular, traditional implementation techniques are tailored to time efficiency, and space efficiency induces time inefficiencies, as it prefers re-computing to saving. Girard's geometry of interaction underlies an alterna...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 13
Main Authors:	Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Games Geometry Semantics Turing machines Turning Weight measurement
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!