プログラミング言語リンク集関数型言語リンク集MLリンク集/ Standard ML

Standard ML

目次

リンク集
言語仕様
処理系
FAQ
チュートリアル
書籍をサポートするサイト
掲示板
エディター関連サイト
GUI関連サイト
Links to other SML resources
http://www.smlnj.org/links.html
Standard ML of New Jerseyのサイト にある、Standard MLに関するリンク集。

言語仕様

ML Syntax
http://www.csci.csusb.edu/dick/samples/ml.syntax.html
California State University, San Bernardino Dick Bottingさん による、Standard MLの構文のページ。
The Standard ML Basis Library
http://www.standardml.org/Basis/manpages.html
Standard MLで利用することのできるライブラリーのマニュアル。
Principles and a Preliminary Design for ML2000
http://www.cs.cmu.edu/~rwh/papers/ml2000/ml2000.ps
Carnegie Mellon University Robert Harperさん のウェブサイトにある、 The ML2000 Working Groupによる ML2000についての論文(PostScript)。

FAQ

SML/NJ FAQ
http://www.smlnj.org/doc/FAQ/
Standard ML of New Jerseyのサイト にある、SML/NJに関するFAQ。

処理系

Standard ML of New Jersey
http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
Standard ML of New Jerseyという処理系のサイト。
MLWorks
http://www.harlequin.com/products/ads/ml/
Harlequin という会社の製品であるMLWorksという処理系のサイト。
Moscow ML Home Page
http://www.dina.kvl.dk/~sestoft/mosml.html
Royal Veterinary and Agricultural University Peter Sestoftさん Keldysh Institute of Applied Mathematics, Russian Academy of Sciences のSergei Romanenkoさんによって作られた、 Moscow MLという処理系のサイト。
Open-source release of MLj
http://www.dcs.ed.ac.uk/~mlj/
Nick Bentonさん、 Andrew Kennedyさん、George Russellさんによって作られた、 MLjという、 Standard MLのソースをJVM(Java virtual machine)の上で動く バイトコードに翻訳する処理系のサイト。
The SML.NET compiler
http://www.cl.cam.ac.uk/Research/TSG/SMLNET/
University of Cambridge のサイトの中にある、 SML.NETというStandard MLのコンパイラに関するサイト。
The Fox Project
http://www-2.cs.cmu.edu/~fox/
実用的なプログラムを開発するためのプログラミング言語を 設計したり実装したりするプロジェクトのサイト。

チュートリアル

Programming in Standard ML
http://www.cs.cmu.edu/afs/cs/usr/rwh/public/www/introsml/
Carnegie Mellon University Robert Harperさん による、Standard MLのチュートリアル。
A Gentle Introduction to ML
http://www.dcs.napier.ac.uk/course-notes/sml/manual.html
Napier University Andrew Cummingさん による、 とてもわかりやすいチュートリアル。
Programming in Standard ML '97: An On-line Tutorial
http://www.dcs.ed.ac.uk/home/stg/NOTES/
The University of Edinburgh Stephen Gilmoreさん によるチュートリアル。
SML演習The Meta Language
http://yk.i.hosei.ac.jp/smlbook/smlbook.pdf
法政大学 児玉靖司さん によるチュートリアル。 かなり読み応えがある。
初級ML講座
http://tutorial.jp/prog/ml/mlkouza.txt
新北野一丁目の 大黒学 によるMLのチュートリアル。 超初心者でも理解できるように書かれている。 Guruchoさん によるHTML版( frame版 frameless版 )もある。

書籍をサポートするサイト

ML for the Working Programmer, 2nd Edition
http://www.cl.cam.ac.uk/users/lcp/MLbook/
University of Cambridge Lawrence C. Paulsonさん によって書かれた、 ML for the Working Programmer という本をサポートするサイト。
プログラミング言語Standard ML入門
http://www.jaist.ac.jp/~ohori/texts/mltext.html
北陸先端科学技術大学院大学 大堀淳さん によって書かれた、 『プログラミング言語Standard ML入門』 という本をサポートするサイト。
Modern Compiler Implementation in ML
http://www.cs.princeton.edu/~appel/modern/ml/
Princeton University Andrew W. Appelさん によって書かれた、 Modern Compiler Implementation in ML という本をサポートするウェブサイト。 この本は、MLについての解説書ではなく、 コンパイラについての解説書である (コンパイラを実装するための言語として Standard MLを使っている)。

掲示板

エディター関連サイト

Emacs Lisp packages
http://www-perso.iro.umontreal.ca/~monnier/elisp/
Université de Montréal Stefan Monnierさん によってメンテナンスされている、 SML mode(Emacs/MuleをStandard MLモードにする、 Emacs Lispのプログラム)が置かれている サイト(ほかにHaskell modeもある)。
MLEdit for Windows
http://www5a.biglobe.ne.jp/~sasagawa/MLEdit/
笹川賢一さんによる、MLEditという、 Windowsの上で動くSML/NJ専用のエディターに関するサイト。

GUI関連サイト

The sml_tk home page
http://www.informatik.uni-bremen.de/~cxl/sml_tk/
University of Bremen Christoph Luethさん による、 sml_tk(GUIを作るためのStandard MLのライブラリー)のサイト。
プログラミング言語リンク集関数型言語リンク集MLリンク集/ Standard ML

Last modified: Wednesday, 13 July 2005
Copyright (C) 1997-2005 Daikoku Manabu