濃ゆいOcaml講義＠APPSEM2000

Ocaml

[These course notes] provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core language to end up with the OCaml language ―one of the most popular incarnation of ML― including its object-oriented layer.

Ocamlにおける不動点コンビネータの定義を思い出せずに*1ググっていたら見つけた．HeVeAというLaTeX→HTMLコンバータを使ってる都合で，HTML版では表示が変な箇所がわずかにあるが，そういうときはPDF版を見るとよい．
ところでOcamlの実装を行っていたProject Cristalはいつの間にか終了してGalliumというプロジェクトが後継になっているらしい．向こうにも，実質に変化がないのに予算の都合でプロジェクトの名前だけが変わるってのがあるんだねぇ（笑

*1:プログラミングなんて最近全然やってないのでもうすっかり忘れてしまったよ．