Suchergebnisse - "Mathematically structured programming"

Frex: Dependently Typed Algebraic Simplification

Autoren: Allais, Guillaume Brady, Edwin Corbyn, Nathan et al.

Weitere Verfasser: Allais, Guillaume Brady, Edwin Corbyn, Nathan et al.

Quelle: Proceedings of the ACM on Programming Languages. 9:30-65

Schlagwörter: MCC, FOS: Computer and information sciences, Logic in Computer Science, T-NDAS, Algebraic simplification, Universal algebra, Symbolic Computation (cs.SC), Dependent types, Logic in Computer Science (cs.LO), Homomorphism, Universal property, Free extension, Programming Languages, Symbolic Computation, Frex, Mathematically structured programming, Programming Languages (cs.PL)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2306.15375
https://hdl.handle.net/10023/32661