On the expressive power of programming languages

Recommendations

scientific article; zbMATH DE number 177780
On abstraction and the expressive power of programming languages
On abstraction and the expressive power of programming languages
scientific article; zbMATH DE number 3845026
Expressive power of specification languages
Expressive power of typed and type-free programming languages
On the expressive power of the loop language
On the computational complexity of imperative programming languages
scientific article; zbMATH DE number 3880106

Cited in

(31)

Expressive power of specification languages
On abstraction and the expressive power of programming languages
Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics
Observational program calculi and the correctness of translations
A static simulation of dynamic delimited control
The expressive power of higher-order types or, life without CONS
Remarks on language extensibility
Delimited control and computational effects
Shifting the stage. Staging with delimited control
On the expressive power of the loop language
Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
scientific article; zbMATH DE number 177780 (Why is no real title available?)
Expressiveness, meanings and machines
Relative expressiveness of defeasible logics
Musings on encodings and expressiveness
Encoding the factorisation calculus
A Functional Abstraction of Typed Invocation Contexts
Typed equivalence of effect handlers and delimited control
On abstraction and the expressive power of programming languages
Iterating on multiple collections in synchrony
Compiling with classical connectives
Control effects as a modality
No value restriction is needed for algebraic effects and handlers
Full abstraction for expressiveness: history, myths and facts
Translation of CCS into CSP, correct up to strong bisimulation
Debugging hygienic macros
Scoping strategies for distributed aspects
Understanding algebraic effect handlers via delimited control operators
Asymptotic speedup via effect handlers
From high to low: simulating nondeterminism and state with state
On the semantic expressiveness of iso- and equi-recursive types

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

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