Research Projects

Center
%TOC%
---+++ Current Projects

   * Haskell Compilers
      * [[Helium.WebHome][Helium]]
      * [[http://www.cs.uu.nl/wiki/UHC/WebHome][UHC: Utrecht Haskell Compiler]]
      * [[Optimal Sharing]]
   * [[http://www.cs.uu.nl/wiki/bin/view/Center/CoCoCo][CoCoCo: Compositional Compiler Construction]]
   * [[Functional Systems Programming]]
      * [[http://www.cs.uu.nl/wiki/bin/view/Proxima][Proxima]]
      * [[http://www.cs.uu.nl/wiki/WebFunctions][WebFunctions]]
      * [[TTTAS][Typed transformations of Typed Abstract Syntax]]
      * [[FCAG][First Class Attribute Grammars]]
   * [[http://www.cs.uu.nl/wiki/GenericProgramming][Generic Programming]]
   * [[http://www.cs.uu.nl/wiki/TechnologyForTeaching][EASE: Software Technology for Teaching and Learning]]
   * [[WP.T2Framework][T2: Automated Testing Tool for Java]]
   * [[Transparent Configuration Environments][TraCE: Transparent Configuration Environments]]
   * [[Top.WebHome][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.