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

ECOOP 2016 Activities

• Author of Kappa: Insights, Current Status and Future Work within the IWACO-track in IWACO
• Author of Reference Capabilities for Concurrency Control within the Research Track-track in ECOOP 2016
• Author of Reference Capabilities for Concurrency Control within the Posters-track in ECOOP 2016
• Show activities from other conferences