Trampolined style
From MaRDI portal
Publication:2817711
DOI10.1145/317636.317779zbMath1345.68051OpenAlexW2296549752MaRDI QIDQ2817711
Mitchell Wand, Steven E. Ganz, Daniel P. Friedman
Publication date: 1 September 2016
Published in: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/317636.317779
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)
Related Items (11)
The coinductive resumption monad ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Continuation-passing C, compiling threads to events through continuations ⋮ Control reduction theories: the benefit of structural substitution ⋮ Space-efficient gradual typing ⋮ A New Method for Dependent Parsing ⋮ On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ CHR for Imperative Host Languages ⋮ A theory of RPC calculi for client–server model ⋮ From Reduction-Based to Reduction-Free Normalization
This page was built for publication: Trampolined style
