| |
| | Research Language Overviews |
 | | Additional language design and implementation projects are described on the research projects page. |
 | | Eiffel is a pure object-oriented language featuring multiple inheritance, polymorphism, static typing and dynamic binding, genericity (constrained and unconstrained), a disciplined exception mechanism, systematic use of assertions to promote programming by contract, and deferred classes for high-level design and analysis. |
 | | Napier88 is a persistent programming language and environment with strong typing, type completeness, higher order procedures, parametric polymorphism, existential datatypes, infinite union types for system evolution, and support for graphics, distribution and concurrency. |
| www.cs.cmu.edu /afs/cs.cmu.edu/user/mleone/web/language/overviews.html (1031 words) |
|