Substitution, jumps, and algebraic effects

DOI10.1145/2603088.2603163MaRDI QIDQ4635626zbMATH OpenOpenAlexFDO

Authors Sam Staton, Marcelo P. Fiore

Publication date 23 April 2018

Published in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/129931

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Algebraic properties of substitution on trajectories
• Explicit substitutions
• Substitutions in dynamics, arithmetics and combinatorics
• scientific article; zbMATH DE number 966819
• A note on algebras of substitutions
• Higher-order substitutions
• Polynomial Substitutions
• Explicit substitutions and reducibility
• Publication:3469152
• scientific article; zbMATH DE number 177828

Cited in

(9)

• Theory and practice of second-order rewriting: foundation, evolution, and SOL
• Quantitative logics for equivalence of effectful programs
• Combining algebraic effect descriptions using the tensor of complete lattices
• scientific article; zbMATH DE number 7453165 (Why is no real title available?)
• scientific article; zbMATH DE number 7566074 (Why is no real title available?)
• An introduction to algebraic effects and handlers (invited tutorial paper)
• Hefty algebras: modular elaboration of higher-order effects
• A finite algebraic presentation of Lawvere theories in the object-classifier topos
• The functional machine calculus. III: Control

This page was built for publication: Substitution, jumps, and algebraic effects

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