Mini ML

MaRDI QIDQ7361214FDO

Authors Wolfgang Naraschewski, Tobias Nipkow

Publication date 19 March 2004

Cites work

• Unnamed Publication
• Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L

This page was built for software: Mini ML