Monae

MaRDI QIDQ5972751swMATHFDO

Official website https://prg.is.titech.ac.jp/projects/typesystem/monae/

Source code repository https://github.com/affeldt-aist/monae

Cited in

(2)

• Tycon
• FreeSpec

This page was built for software: Monae