Gatlab - Combining Computer Algebra and Standard ML Modules

Explore the innovative combination of computer algebra and Standard ML modules in this 35-minute conference talk from JuliaCon 2024. Dive into GATlab, a Julia library that merges algebraic theories with module systems, offering a powerful framework for mathematical programming. Learn how to interpret module signatures as specifications for syntax trees, implement models using multiple dispatch, and work with generalized algebraic theories (GATs) to support complex structures like categories. Discover the practical applications of GATlab, including its ability to perform rewriting on syntax trees using e-graphs and type-aware implementations. Compare GATlab to other frameworks and libraries, understanding its unique position in combining fast computation with flexible algebraic structures. Gain hands-on experience working with simple theories and modules, and understand the fundamental connection between computer algebra systems and module systems in this insightful presentation.

Gatlab: Computer Algebra and Standard ML modules combined | Lynch | JuliaCon 2024