On the expressive power of programming languages

DOI10.1016/0167-6423(91)90036-WzbMath0745.68033WikidataQ56066616 ScholiaQ56066616MaRDI QIDQ1183552

Matthias Felleisen

Publication date: 28 June 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

expressivenessexpressive power of programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (19)

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

This page was built for publication: On the expressive power of programming languages