Jossle

A type checked language with separate compilation using a program library.

Mentioned in Rationale for the Design of the Ada Programming Language, Jean D. Ichbiah, Cambridge University Press, 1986, p.192.