Search for student projects

Simple search
Education
Publication year
to
1 - 2 out of 2Page size: 100
  1. 2009

  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. 2004

  4. 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)