A three-dimensional GraphicalProgrammingLanguage for higher-order logic.

"The Cube Language", M. Najork et al, 1991 IEEE Workshop on Visual Languages, Oct 1991, pp.218-224.

http://research.microsoft.com/~najork/

----
CategoryProgrammingLanguage