This reminds me of the Fortress programming language: http://research.sun.com/projects/plrg/Publications/fortress.1.0.pdf http://research.sun.com/projects/plrg

This reminds me of the Fortress programming language: http://research.sun.com/projects/plrg/Publications/fortress.1.0.pdf http://research.sun.com/projects/plrg/Publications/fortress.... (Image from the part of the above PDF that I was thinking of: http://skitch.com/joelf/bs99c/sun-research-fortress http://skitch.com/joelf/bs99c/sun-research-fortress)