Minimal Session Types


Date
Dec 4, 2018
Alen Arslanagić
Alen Arslanagić
PhD student

I am interested in programming languages, particularly static verification and analysis techniques such as type systems.

Related