Thunks

DOI10.1145/366062.366084MaRDI QIDQ3277720zbMATH OpenOpenAlexWikidataFDO

Authors Peter Z. Ingerman

Publication date 1961

Published in Communications of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

numerical analysis

Cited in

(9)

• Parameter passing in nondeterministic recursive programs
• On the call-by-value CPS transform and its semantics
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• Ackermann's function: A study in the efficiency of calling procedures
• An extended account of contract monitoring strategies as patterns of communication
• Lazy rewriting and eager machinery
• The design of the GIER ALGOL compiler Part I
• Fast and fair randomized wait-free locks
• Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

This page was built for publication: Thunks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3277720)