Research Projects

Current Projects

• Haskell Compilers
  • Helium
  • UHC: Utrecht Haskell Compiler
  • Optimal Sharing
• CoCoCo: Compositional Compiler Construction
• Functional Systems Programming
  • Proxima
  • WebFunctions
  • Typed transformations of Typed Abstract Syntax
  • First Class Attribute Grammars
• Generic Programming
• EASE: Software Technology for Teaching and Learning
• T2: Automated Testing Tool for Java
• TraCE: Transparent Configuration Environments
• Top: building compilers with scriptable feedback
• Feedback in Exercise Assistants. Together with the Open University NL we are developing exerxise assistants, and techniques for improving the feedback offered by such assistants.

For results of previous projects see our SoftwareDistributions page.