Who are we (Yale, OGI)?

• Background is Typed Functional Programming Languages

  • Haskell and ML

• Current Research Emphasis

  • Domain Specific Languages
  • Functional Programming Implementation
  • Functional Programming as a formal method
  • Type systems

• EDCS:

  • Dynamic Languages and Arch/Gen.

Previous slide

Next slide

Back to first slide

View graphic version