Matt Bovel
PhD Student, EPFL
GitHub
ORCID
Researchr
LinkedIn
I am a PhD student at EPFL, between two labs: the LAMP led by Martin Odersky , and the LARA, led by Viktor Kunčak. I am working on Scala 3, particularly on integrating refinement types into the language. I am generally interested in programming languages, type systems and teaching.
Publications
- OOPSLA 2026
-
Integrating Refinement Types into Scala 3
Matt Bovel, John Doe, Jane Smith
PDF DOI
- MPLR 2025
-
Integrating Refinement Types into Scala 3
Matt Bovel, John Doe, Jane Smith
PDF DOI
- MPLR 2024
-
Integrating Refinement Types into Scala 3
Matt Bovel, John Doe, Jane Smith
PDF DOI
- SEFI 2024
-
Integrating Refinement Types into Scala 3
Matt Bovel, John Doe, Jane Smith
PDF DOI
Talks
- WITS 2026
-
First-class refinement types in Scala 3
Matt Bovel
Repo Slides Proposal
- EPFL PL Seminar 03.2025
-
Integrating Refinement Types into Scala 3
Matt Bovel
Repo Slides Proposal
- The Scala Workshop 2025
-
Logically qualified types in Scala 3
Matt Bovel
Repo Slides Proposal
- ScalaCon 2022
-
Type-level programming in Scala
Matt Bovel
Repo Slides
Service
- The Scala Workshop 2026
- Organizer
- ICOOOLPS 2024
- Program Committee Member
- VIMPL 2024
- Program Committee Member
Supervision
- 2026
-
"Integrating Refinement Types into Scala 3"
Matt Bovel, John Doe, Jane Smith
- 2026
-
"Integrating Refinement Types into Scala 3"
Matt Bovel, John Doe, Jane Smith