Who are we (Yale, OGI)?
Background is Typed Functional Programming Languages
Current Research Emphasis
- Domain Specific Languages
- Functional Programming Implementation
- Functional Programming as a formal method
- Type systems
EDCS:
- Dynamic Languages and Arch/Gen.