On the expressive power of programming languages
From MaRDI portal
Publication:1183552
DOI10.1016/0167-6423(91)90036-WzbMath0745.68033WikidataQ56066616 ScholiaQ56066616MaRDI QIDQ1183552
Publication date: 28 June 1992
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items
A Functional Abstraction of Typed Invocation Contexts, Control effects as a modality, Shifting the stage, Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects, Debugging hygienic macros, Scoping strategies for distributed aspects, Translation of CCS into CSP, correct up to strong bisimulation, Iterating on multiple collections in synchrony, Understanding algebraic effect handlers via delimited control operators, Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics, Unnamed Item, No value restriction is needed for algebraic effects and handlers, A static simulation of dynamic delimited control, Relative expressiveness of defeasible logics, Full abstraction for expressiveness: history, myths and facts, Unnamed Item, Unnamed Item, Observational program calculi and the correctness of translations, Delimited control and computational effects
