Andrea Vezzosi

Andrea Vezzosi

PhD Student, Computing Science division, Department of Computer Science and Engineering, Chalmers University of Technology.

Licentiate Thesis: Guarded Recursive Types in Type Theory

email: vezzosi (AT) chalmers (DOT) se
github: http://github.com/Saizan