GATlab: modeling and programming with generalized algebraic theories

DOI10.46298/ENTICS.14666MaRDI QIDQ6831441zbMATH OpenFDO

Authors Owen Lynch, Kris Brown, James P. Fairbanks, Evan Patterson

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.14666

zbMATH Keywords

algebraic specificationapplied category theoryGATsgeneralized algebraic theoriesprogramming languages

Mathematics Subject Classification ID

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

Cites work

• A diagrammatic view of differential equations in physics
• A framework for defining logics
• A scalable module system
• A treatise on universal algebra. With applications
• Cartesian double theories: a double-categorical framework for categorical doctrines
• Functorial data migration
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generalized algebraic theories and contextual categories
• High-performance symbolic-numerics via multiple dispatch
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 3581594 (Why is no real title available?)
• scientific article; zbMATH DE number 1289305 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 3095825 (Why is no real title available?)
• MathScheme: project description
• Nitpick: a counterexample generator for higher-order logic based on a relational model finder
• Operadic modeling of dynamical systems: mathematics and computation
• Theory presentation combinators
• Two Decades of Maude

This page was built for publication: GATlab: modeling and programming with generalized algebraic theories

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