A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues.
Reducing the space requirement of suffix trees.
Declarative solutions to partitioned-grid problems.
Adding multidimensionality to procedural programming languages.