サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
ブラックフライデー
www.mpi-sws.org/~rossberg
Description 1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language. It is described in the following papers: Andreas Rossberg. 1ML — core and modules united. ICFP 2015. Andreas Rossberg. 1ML — core and modules united (Extended). 2015. Expanded version including Technical Appendix. Andreas Rossberg. 1ML — core and modules un
"To Be Or Not To Be Standard ML" ;-) Version 2.0.0 What is it? HaMLet is a faithful and complete implementation of the Standard ML programming language (SML'97). It aims to be an accurate reference implementation of the language specification, a platform for experimentation with the language semantics or extensions to it, a useful tool for educational purposes. The implementation is intended to be
Standard ML and Objective Caml, Side by Side This page gives a quick side by side comparison of program fragments in the two ML dialects Standard ML ('97 revision) and Objective Caml (version 3.12). It is primarily targetted at people who need to convert code between the two dialects. Where suitable we also mention common extensions to SML, or recent extensions of Ocaml. The comparison does not co
このページを最初にブックマークしてみませんか？
『andreas rossberg』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
