conf.researchr.org / Alen Arslanagić

Not registered as user yet

Name: Alen Arslanagić

Affiliation: University of Groningen

Personal website: http://alenarslanagic.net

Contributions

PLNL 2018Author of Type Systems with Constraints for ML Type Inference with the Implementation in Haskell within the PLNL-track
ECOOP 2019Author 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