Publications

Theses

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

Contact