See Nile/Gezira: http://www.vpri.org/pdf/tr2009016_steps09.pdf http://www.vpri.org/pdf/tr2009016_steps09.pdf Also, the STEPS project in general (read the progr

See Nile/Gezira: http://www.vpri.org/pdf/tr2009016_steps09.pdf http://www.vpri.org/pdf/tr2009016_steps09.pdf Also, the STEPS project in general (read the progress reports): http://www.vpri.org/html/writings.php http://www.vpri.org/html/writings.php They talk about "active" or "runnable" maths. The programming languages they create aim to basically mirror mathematical expressions. This in turn makes the programming stack much smaller and easier to comprehend.