Algebraic Theories And Effects: Reconciling Operational And Denotational Semantics
Formalizing Computation Through Algebraic Theories Initial algebras provide a powerful denotational model for formalizing the meanings of computer programs. As mathematical constructs, initial algebras capture the essence of data types and recursion in a language-independent way. Programming languages such as Haskell and ML implement type systems based on initial algebras, enabling modular reasoning about programs….