SML# - SML＃プロジェクトＳＭＬ＃は東北大学電気通信研究所 大堀研究室 が開発を進めているプログラミング言語です．従来のStandard MLの定義と後方互換性を保ちながら，我々の基礎研究で得られた実用上重要な成果を取り入れて設計されています． ニュース SML#の開発はGitHubに移行しました．今後このWebサイトは更新しません．最新情報は https://smlsharp.github.io/ をご覧ください．
SML# - ランク１多相性の理論
ランク１多相性を可能にした理論である． 内容に関するお断り：本ページの文責は，大堀淳にある．ここに示された見解や解釈等はSML＃開発チーム全体を代表するものでは必ずしもない．不正確な表現や見方の責は大堀淳にある． 論文の著作件に関するお断り：The documents made available in this page are the author's verisons of published articles. They are included here by the author as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
