foetus

MaRDI QIDQ34459swMATHFDO

Official website http://www.cse.chalmers.se/~abela/foetus/

Cited in

(2)

• IsaFoR
• Dependent types and multi-monadic effects in \(\mathrm{F}^*\)

This page was built for software: foetus