Also, the STEPS project in general (read the progress reports): 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.
Also, the STEPS project in general (read the progress reports): 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.