Is there an up-to-date list of languages that have TYPOL specifications of their semantics? (Preferably with some indication on where one can get these specifications.) A colleague of mine is particularly interested in the Natural Semantics of realistic OO languages. Cheers, Mikael Pettersson