Lambda the Ultimate

M.Sc. student in Computer Science @ University of Ã…rhus, Denmark.

Currently doing my master thesis on adding type reconstruction to the formal specification language VDM++.