Literaturhinweise

M. Broy: Informatik: Eine grundlegende Einführung. Teil 1. Springer Verlag 1992.

M.R. Hansen, H. Rischel: Introduction to Programming using SML. Addison-Wesley 1999.

R. Harper: Programming in Standard ML. Web-Seite.

F. Kröger: Einführung in die Informatik - Algorithmenentwicklung. Springer Verlag 1991.

L.C. Paulson: ML for the Working Programmer. Cambridge University Press 1991 (2. Auflage 1996).

J.D. Ullman: Elements of ML Programming, ML97 Edition. Prentice Hall 1998.

A. Wikström: Functional Programming Using Standard ML. Prentice Hall 1987.

Webangebote

Der verwendete SML-Compiler (Standard ML of New Jersey) ist für Windows und Linux erhältlich.

Ein Emacs-Modus für SML ist hier erhältlich.

Gnu Emacs ist in den meisten Linux-Distributionen bereits enthalten. Eine Version für Windows finden Sie unter folgender Adresse: http://ftp.gnu.org/gnu/windows/emacs/21.2/. Die richtige Datei ist emacs-21.2-fullbin-i386.tar.gz. Sie können diese Datei z.B. mit Winzip entpacken. (Die Evaluierungsversion ist kostenlos erhältlich.)

(autoload 'sml-mode "sml-mode" "Major mode for editing SML." t)
(setq auto-mode-alist
      (append '(("\\.sml$" . sml-mode) 
                ("\\.sig$" . sml-mode) 
                ("\\.ML$"  . sml-mode)) auto-mode-alist))