Developing a type inference algorithm for The Ambient Calculus with Kill
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
- Casper Jensen
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
| Sprog | Engelsk |
|---|---|
| Udgivelsesdato | 6 jun. 2013 |
| Antal sider | 43 |
Dokumenter
- Rapport
448 KB, PDF-dokument
Genveje
Log indKontakt AAU
Har du spørgsmål til Aalborg Universitets forskningsregistrering, -formidling og -analyse, er du altid velkommen til at kontakte:
VBN-teamet
E-mail: vbn@aub.aau.dk