Mono

swMATH26761MaRDI QIDQ38490FDOQ38490

Official website https://www.mono-project.com/

Cited in

(3)

• A high-level modular definition of the semantics of C\(_{\sharp}\)
• WESAD
• Programming language concepts. With a chapter by Niels Hallenberg

This page was built for software: Mono