Optimistic evaluation

DOI10.1145/944705.944731zbMath1315.68048OpenAlexW2135037829MaRDI QIDQ5261284

Robert Ennals, Simon L. Peyton Jones

Publication date: 2 July 2015

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

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

zbMATH Keywords

Haskelllazy evaluationonline profiling

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items

Pruning with improving sequences in lazy functional programs ⋮ Lambda-calculus with director strings ⋮ Structure and Properties of Traces for Functional Programs ⋮ Complete Laziness: a Natural Semantics

Uses Software

• Haskell
• GHC

This page was built for publication: Optimistic evaluation