Søg efter studenterprojekter

  1. 2009
  2. Type Checking and Type Inference in the Presence of an Adversary

    Palle Raabjerg

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2004

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)