Math Notations, Computer Languages, and the “Form” in Formalism

[Jon Harrop]

fortunatus wrote:
> to that end you might be interested in Fortress at Sun:
> 
> http://projectfortress.sun.com/Projects/Community
> http://research.sun.com/projects/plrg/fortress.pdf
> http://research.sun.com/spotlight/2007/2007-01-10_fortress.html

Fortress is dead, right?

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?u