Gatlab: modeling and programming with generalized algebraic theories

HIGHLIGHTS

• What: The authors show how to augment an existing technical computing language with an advanced type system to enable uniform computation over categorical structures. Using morphisms of GAT, the authors implement a declarative and verifiable syntax for migrating models from one theory to another.
• Who: Theoretical Informatics and collaborators from the Topos Institute, Berkeley, CA University of Florida, Computer and Information Science and Engineering, Gainesville, FL have published the research work: ENTICS GATlab: Modeling and Programming with Generalized Algebraic Theories, in the Journal: (JOURNAL) of December/15,/2024
• Future: Another direction for future . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

  If you don't have an account, you can create one here.