OptiML

swMATH5117MaRDI QIDQ17257FDOQ17257

Author name not available (Why is that?)

Official website: https://projects.coin-or.org/OptiML

Cited In (8)

• LMS-Verify: abstraction without regret for verified systems programming
• Optimizing data structures in high-level programs, new directions for extensible compilers based on staging
• Polyglot
• SESSL
• SakerGrid
• SBMLsimulator
• SESSL
• TreatJS

This page was built for software: OptiML