Google Research

Magda: A New Language for Modularity

Lecture Notes in Computer Science, Springer (2012), pp. 560-588


We introduce Magda, a modularity-oriented programming language. The language features lightweight mixins as units of code reuse, modular initial- ization protocols, and a hygienic approach to identi ers. In particular, Magda's modularity guarantees that client code of a library written in Magda will never break as a consequence of any addition of members to the library's mixins.

Research Areas

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work