Typed Smalltalk Language

See TypedSmalltalk.