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
ECOOP 2016-profile
View general profile
View general profile