Matthieu Bovel
EPFL IC IINFCOM LAMP1
INR 319 (Bâtiment INR)
Station 14
1015 Lausanne
+41 21 693 62 65
Office: INR 317
EPFL › IC › IINFCOM › LAMP1
Website: https://lampwww.epfl.ch
Expertise
PhD student, I am currently exploring support for logically qualified types support in Scala 3.
Co-supervised by Viktor KunÄak and Martin Odersky.
Co-supervised by Viktor KunÄak and Martin Odersky.