AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Generic Type inference for the psi-calculi

Translated title

Generisk typeinferens for psi-kalkyler

Authors

;

Term

4. term

Education

Computer Science, Master

Publication year

2016

Submitted on

Pages

102

Keywords

type inference ; psi-calculi ; generic type systems ; generic type inference

Documents

Download
View record in AAU Student Projects