The Habit language, being developed at Portland State (by my colleagues -- I'm a grad student there) falls into the category you're looking for, though the impl

The Habit language, being developed at Portland State (by my colleagues -- I'm a grad student there) falls into the category you're looking for, though the implementation is still under development: http://hasp.cs.pdx.edu/habit-report-Nov2010.pdf http://hasp.cs.pdx.edu/habit-report-Nov2010.pdf (sorry, no non-PDF documentation) There was an LtU thread as well: http://lambda-the-ultimate.org/node/4205 http://lambda-the-ultimate.org/node/4205