foetus

swMATH22668MaRDI QIDQ34459FDOQ34459

Author name not available (Why is that?)

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