First-order types

Armin Rigo arigo@ulb.ac.be
Fri Mar 15 04:07:02 2002


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.