Jossle <language> A type checked language with {separate compilation} using a program library. Mentioned in ["Rationale for the Design of Ada", J. Ichbiah, Cambridge U Press, 1986, p.192]. (2005-02-19)