Bliss, Sisal, Mercury, ECLiPSe, Esterel. Bliss is Wulf's baby, and I have the book; sick compiler. Purely for the sake of idol-worship. Sisal, very influentia

Bliss, Sisal, Mercury, ECLiPSe, Esterel. Bliss is Wulf's baby, and I have the book; sick compiler. Purely for the sake of idol-worship. Sisal, very influential language. FP for scientific computing, high performance. Would love to implement it. Mercury .. I never really got logic programming all that well, besides some elementary prolog. Would love to explore the domain further but hindered by the opaque works that spill over from logic. ECLiPSe is a constraint-logic programming package. Never used a standalone CLP system before. Only via Mozart/Oz, AliceML and Common Lisp (via Screamer) Esterel is a language for reactive programming: think real-time and embedded devices. I vaguely know the language (1-2 weeks) but I haven't got the theoretical backbone to tackle it fully. Need to study temporal logics, brush up on process algebra, and perhaps even take up some discrete event simulation before I can fully grok it.