Stefano Zacchiroli wrote:

> 
> I'm aware of the university of Urbino, in which OCaml is teached as a
> part of the compiler course.

In Pisa it's used as metalanguage in the programming languages course.

bye

Vincenzo Ciancia

-- 
Please note that I do not read the e-mail address used in the from field but
I read vincenzo_ml at yahoo dot it
Attenzione: non leggo l'indirizzo di posta usato nel campo from, ma leggo
vincenzo_ml at yahoo dot it