Concurrent constraint programming is especially interesting to me -- Saraswat's ideas about a general constraint store (versus the Herbrand domain Prolog is usu

Concurrent constraint programming is especially interesting to me -- Saraswat's ideas about a general constraint store (versus the Herbrand domain Prolog is usually instantiated over) are genuinely fascinating to me. I see the relatively recent work on LVars as an example of where that flexibility really pays off.