Registered user since Tue 19 Apr 2016

Name: Elias Castegren

Bio: I am a PhD student working with capability type systems for concurrent and parallel object oriented programming. My advisor is Tobias Wrigstad

Country: Sweden

Affiliation: Uppsala University

Personal website: http://www.it.uu.se/katalog/elica697

Research interests: Type systems, Capabilities, Programming Language Design and Implementation, Functional and Object-Oriented Programming, Mechanized Proofs

Contributions