Strymonas

MaRDI QIDQ33521swMATHFDO

Official website https://strymonas.github.io

Cited in

(6)

• Stream fusion, to completeness
• BER MetaOCaml
• LinqOptimizer
• ScalaBlitz
• Generating C. System description
• Unified program generation and verification: a case study on number-theoretic transform

This page was built for software: Strymonas