Publications

  • Minimal Session Types (with Jorge A. Pérez and Erik Voogd). To appear at ECOOP 2019.

Theses

  • M.E. degree: Type Systems with Constraints for ML Type Inference with Implementation in Haskell
    supervised by Prof. Silvia Ghilezan

Contact