Follow
Olivier Blanvillain
Olivier Blanvillain
Verified email at epfl.ch
Title
Cited by
Cited by
Year
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
452017
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
112014
Type-level programming with match types
O Blanvillain, J Brachthäuser, M Kjaer, M Odersky
102021
Simplicitly
M Odersky, A Biboudis, F Liu, O Blanvillain, H Miller
Technical Report, 2017
32017
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
12020
Type-safe regular expressions
O Blanvillain
Proceedings of the Scala Symposium, 1-8, 2022
2022
Abstractions for Type-Level Programming
OEP Blanvillain
EPFL, 2022
2022
Foundations of Implicit Function Types
M Odersky, A Biboudis, F Liu, O Blanvillain
2017
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
Coming to Terms with Your Choices
G SCHMID, O BLANVILLAIN, JAD HAMZA, V KUNCAK
Parallelization of a collaborative filtering algorithm with Menthor
L Bliss, O Blanvillain
The system can't perform the operation now. Try again later.
Articles 1–11