Papers of Summer 2003

From Lambda Group

Jump to: navigation, search

Monads and Monad-based Programming

Moggi introduced the concept of a monad to represent computations. Commonly used in pure-functional langauges to represent various styles of computation with and without side effects, monads form the basis of modeling and evaluating Rosetta facets.

Generic Programming

Many algebraic types are similar in the having a common shape, dictated by the type's recursive definition. These papers try to generalize functions over types with a common shape.

Domain Specific Extension Languages

DSELs are attempts to extend langauges to provide capabilities specific to a particular domain. Rosetta domains are in effect semantic DSELs. Understanding DSELs and their implementation will help in understanding the implementation of evaluators for individual Rosetta domains.