| Simplicitly: Foundations and applications of implicit function types M Odersky, O Blanvillain, F Liu, A Biboudis, H Miller, S Stucki Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 52 | 2017 |
| Type-level programming with match types O Blanvillain, JI Brachthäuser, M Kjaer, M Odersky Proceedings of the ACM on Programming Languages 6 (POPL), 1-24, 2022 | 19 | 2022 |
| Blogforever crawler: techniques and algorithms to harvest modern weblogs O Blanvillain, N Kasioumis, V Banos Proceedings of the 4th International Conference on Web Intelligence, Mining …, 2014 | 11 | 2014 |
| Abstractions for Type-Level Programming OEP Blanvillain EPFL, 2022 | 3 | 2022 |
| Simplicitly M Odersky, A Biboudis, F Liu, O Blanvillain, H Miller Technical Report, 2017 | 3 | 2017 |
| Coming to Terms with Your Choices: An Existential Take on Dependent Types GS Schmid, O Blanvillain, J Hamza, V Kunčak arXiv preprint arXiv:2011.07653, 2020 | 1 | 2020 |
| Foundations of implicit function types M Odersky, A Biboudis, F Liu, O Blanvillain | 1 | 2017 |
| Type-safe regular expressions O Blanvillain Proceedings of the Scala Symposium, 1-8, 2022 | | 2022 |
| A Scalable Approach to Harvest Modern Weblogs V Banos, O Blanvillain, N Kasioumis, Y Manolopoulos International Journal on Artificial Intelligence Tools 24 (2), 1540005, 2015 | | 2015 |
| Parallelization of a collaborative filtering algorithm with Menthor L Bliss, O Blanvillain | | |
