Hello everybody, What languages have first-order types? There are a few ones I know about in imperative programming, but are they functional or logic languages? Thanks, Armin.