conf.researchr.org / Alen Arslanagić

Not registered as user yet

Name:Alen Arslanagić
Affiliation:University of Groningen
Personal website:http://alenarslanagic.net

Contributions

PLNL 2018 Author of Type Systems with Constraints for ML Type Inference with the Implementation in Haskell within the PLNL-track
ECOOP 2019 Author of Session Types in the Real World: A Minimalistic Approach within the Doctoral Symposium-track
Author of Minimal Session Types within the Research Papers-track
Author of MISTY: Playing with Minimal Session Types within the Artifacts-track