Search for student projects

  1. Computer Science, Master
  2. Type-check og type-inferens i en modstanders åsyn

    Palle Raabjerg

    Computer Science, Master, (Master Programme) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)

  3. The Applied pi-calculus: Type Systems and Expresiveness

    Anders Bloch, Morten V. Frederiksen, Bjørn Haagensen

    Computer Science, Master, (Master Programme) 4. term, 2004

    Student thesis: Master thesis (including HD thesis)