A Safe Low-level Language for Computer Algebra and its Formally Verified Compiler

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Moreau, Josué; Melquiond, Guillaume

Journal title: ICFP '24: ACM SIGPLAN International Conference on Functional Programming. Proceedings of the ACM on Programing Langages

Journal publisher: Association for Computing Machinery

Published year: 2024