Weak optimality, and the meaning of sharing

DOI10.1145/2500365.2500606zbMath1323.68094OpenAlexW2083060740MaRDI QIDQ5244806

Thibaut Balabonski

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500606

zbMATH Keywords

optimalitycomputabilitystrategiessharinglazinessweak reduction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

A strong call-by-need calculus ⋮ Node Replication: Theory And Practice ⋮ Spinal atomic \(\lambda\)-calculus ⋮ The spirit of node replication ⋮ Unnamed Item

This page was built for publication: Weak optimality, and the meaning of sharing