PLAI Typed

Install: http://www.cs.utah.edu/~mflatt/past-courses/cs5510/public_html/plai-typed.plt

Documentation: search for plai typed in DrScheme's Help Desk

Demo: plai-typed-demo.txt

Example: fae-t.scm

OCaml

Install: Caml Downloads

Documentation: tutorial, OCaml manual

Demo: caml-demo.txt, caml-demo2.txt

Example: fae.ml

F#

Install: F# Downloads

Documentation: getting started, F# manual

See also OCaml demo and example above