For an introduction to different languages (both from Industry and Academia) from different programming paradigms (i.e. Imperative/OO/Functional/Dataflow/Concurrent/Declarative/Logic/Aggregate) see Raphael Finkel's Advanced Programming Language Design.