Suchergebnisse - "Mathematically structured programming"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Frex: Dependently Typed Algebraic Simplification von Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: New York, NY, USA ACM 05.08.2025
    Veröffentlicht in Proceedings of ACM on programming languages (05.08.2025)
    “… We present a new design for an algebraic simplification library structured around concepts from universal algebra: theories, models, homomorphisms, and …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: