「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプ…

SML#は東北大学の大堀研が開発を進めている関数型プログラミング言語です。SMLとの互換性を保ながら、C言語ライブラリとの直接連携や多相レコードなどの仕組みが取り入れられています。そして、他のML系言語と同様に非常に強力な型推論を持っています。 おか…